jdrew.oo.builtins
Class StringLengthBuiltin

java.lang.Object
  jdrew.oo.builtins.StringLengthBuiltin

All Implemented Interfaces:

Builtin

public class StringLengthBuiltin
extends java.lang.Object
implements Builtin

Implements a Sting Length built-in relation. Calling format StringLength(?input1, ?input2). Satisfied iff the first argument is equal to the length of the second argument. If the first argument is a variable then it will be bound to the length of the second argument.

Title: OO jDREW

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

Copyright: Copyright (c) 2005

Version:

0.89

Author:

Marcel A. Ball

Constructor Summary

StringLengthBuiltin()

Method Summary

DefiniteClause	buildResult(Term t)
int	getSymbol()

Methods inherited from class java.lang.Object

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

Constructor Detail

StringLengthBuiltin

public StringLengthBuiltin()

Method Detail

buildResult

public DefiniteClause buildResult(Term t)

Specified by:

buildResult in interface Builtin

getSymbol

public int getSymbol()

Specified by:

getSymbol in interface Builtin