ubc.cs.JLog.Builtins
Class jEqual
java.lang.Object
ubc.cs.JLog.Foundation.jType
ubc.cs.JLog.Terms.jTerm
ubc.cs.JLog.Terms.iPredicate
ubc.cs.JLog.Terms.jBuiltinPredicate
ubc.cs.JLog.Terms.jBinaryBuiltinPredicate
ubc.cs.JLog.Builtins.jOperator
ubc.cs.JLog.Builtins.jNumericComparison
ubc.cs.JLog.Builtins.jEqual
- All Implemented Interfaces:
- iType, iUnifiable, iConsultable, iName, iNameArity, iTerm, iValue
public class jEqual
- extends jNumericComparison
Fields inherited from class ubc.cs.JLog.Foundation.jType |
type |
Fields inherited from interface ubc.cs.JLog.Foundation.iType |
TYPE_ARITHMETIC, TYPE_ATOM, TYPE_BUILTINPREDICATE, TYPE_COMMAND, TYPE_COMPARE, TYPE_COMPOUND, TYPE_CONS, TYPE_IF, TYPE_INTEGER, TYPE_LIST, TYPE_NULLLIST, TYPE_NUMERICCOMPARE, TYPE_OBJECT, TYPE_OPERATOR, TYPE_OR, TYPE_ORPREDICATE, TYPE_PREDICATE, TYPE_PREDICATETERMS, TYPE_REAL, TYPE_TYPE, TYPE_UNARYARITHMETIC, TYPE_UNARYOPERATOR, TYPE_UNDEFINED, TYPE_VARIABLE |
Methods inherited from class ubc.cs.JLog.Terms.jBinaryBuiltinPredicate |
compareArguments, consult, consultReset, copy, duplicate, enumerateVariables, equivalenceArguments, getArguments, getArity, getLHS, getRHS, isConsultNeeded, prove, registerUnboundVariables, registerVariables, unifyArguments |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
jEqual
public jEqual(jTerm l,
jTerm r)
getName
public java.lang.String getName()
- Description copied from interface:
iName
- Returns the name of this instance.
- Specified by:
getName
in interface iName
- Specified by:
getName
in interface iTerm
- Overrides:
getName
in class jTerm
- Returns:
String
containing name of this instance.
duplicate
protected jBinaryBuiltinPredicate duplicate(jTerm l,
jTerm r)
- Specified by:
duplicate
in class jBinaryBuiltinPredicate
compareInteger
protected boolean compareInteger(int l,
int r)
- Specified by:
compareInteger
in class jNumericComparison
compareReal
protected boolean compareReal(float l,
float r)
- Specified by:
compareReal
in class jNumericComparison
compareString
protected boolean compareString(java.lang.String l,
java.lang.String r)
- Specified by:
compareString
in class jNumericComparison