jdrew.oo.builtins
Class SubstringBuiltin

java.lang.Object
  jdrew.oo.builtins.SubstringBuiltin

All Implemented Interfaces:

Builtin

public class SubstringBuiltin
extends java.lang.Object
implements Builtin

Implements a Substring built in relation. Satisfied iff the first argument is equal to the substring of optional length the fourth argument starting at character offset the third argument in the string the second argument. If the first argument is a variable then it will be bound to the substring of optional length the fourth argument starting at character offset the third argument in the string the second argument.

Title: OO jDREW

Description: Reasoning Engine for the Semantic Web - Supporting OO RuleML 0.88

Copyright: Copyright (c) 2005

Constructor Summary

SubstringBuiltin()

Method Summary

DefiniteClause	buildResult(Term t)
int	getSymbol()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SubstringBuiltin

public SubstringBuiltin()

Method Detail

buildResult

public DefiniteClause buildResult(Term t)

Specified by:

buildResult in interface Builtin

getSymbol

public int getSymbol()

Specified by:

getSymbol in interface Builtin