jdrew.oo.builtins
Class NotEqualBuiltin

java.lang.Object
  jdrew.oo.builtins.NotEqualBuiltin

All Implemented Interfaces:

Builtin

public class NotEqualBuiltin
extends java.lang.Object
implements Builtin

Implements a Contains Equal built in relation. Calling format notEqual(input1, input2). Satisfied iff the first argument and the second argument are not the same.

Title: OO jDREW

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

Copyright: Copyright (c) 2005

Constructor Summary

NotEqualBuiltin()

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

NotEqualBuiltin

public NotEqualBuiltin()

Method Detail

buildResult

public DefiniteClause buildResult(Term t)

Specified by:

buildResult in interface Builtin

getSymbol

public int getSymbol()

Specified by:

getSymbol in interface Builtin