jdrew.oo.builtins
Class StringEqualIgnoreCaseBuiltin

java.lang.Object
  jdrew.oo.builtins.StringEqualIgnoreCaseBuiltin

All Implemented Interfaces:

Builtin

public class StringEqualIgnoreCaseBuiltin
extends java.lang.Object
implements Builtin

Implements a String Equal Ignore Case built-in relation. Calling format stringEqualIgnoreCase(?input1, ?input2). Satisfied iff the first argument is the same as the second argument (upper/lower case ignored)

Title: OO jDREW

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

Copyright: Copyright (c) 2005

Constructor Summary

StringEqualIgnoreCaseBuiltin()

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

StringEqualIgnoreCaseBuiltin

public StringEqualIgnoreCaseBuiltin()

Method Detail

buildResult

public DefiniteClause buildResult(Term t)

Specified by:

buildResult in interface Builtin

getSymbol

public int getSymbol()

Specified by:

getSymbol in interface Builtin