|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectubc.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
public abstract class jNumericComparison
Field Summary |
---|
Fields inherited from class ubc.cs.JLog.Terms.jBinaryBuiltinPredicate |
---|
lhs, rhs |
Fields inherited from class ubc.cs.JLog.Foundation.jType |
---|
type |
Fields inherited from interface ubc.cs.JLog.Terms.iTerm |
---|
EQUAL, GREATER_THAN, LESS_THAN |
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 |
Constructor Summary | |
---|---|
jNumericComparison(jTerm l,
jTerm r)
|
Method Summary | |
---|---|
protected abstract boolean |
compareInteger(int l,
int r)
|
protected abstract boolean |
compareReal(float l,
float r)
|
protected abstract boolean |
compareString(java.lang.String l,
java.lang.String r)
|
boolean |
prove(jOperatorGoal og)
|
Methods inherited from class ubc.cs.JLog.Builtins.jOperator |
---|
addGoals, addGoals, toString |
Methods inherited from class ubc.cs.JLog.Terms.jBinaryBuiltinPredicate |
---|
compareArguments, consult, consultReset, copy, duplicate, duplicate, enumerateVariables, equivalenceArguments, getArguments, getArity, getLHS, getRHS, isConsultNeeded, prove, registerUnboundVariables, registerVariables, unifyArguments |
Methods inherited from class ubc.cs.JLog.Terms.jBuiltinPredicate |
---|
equivalence, unify |
Methods inherited from class ubc.cs.JLog.Terms.iPredicate |
---|
compare |
Methods inherited from class ubc.cs.JLog.Terms.jTerm |
---|
compare, copy, getName, getTerm, getValue, requiresCompleteVariableState, toString |
Methods inherited from class ubc.cs.JLog.Foundation.jType |
---|
getType, objectToString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface ubc.cs.JLog.Terms.iName |
---|
getName |
Constructor Detail |
---|
public jNumericComparison(jTerm l, jTerm r)
Method Detail |
---|
public boolean prove(jOperatorGoal og)
prove
in class jOperator
protected abstract boolean compareInteger(int l, int r)
protected abstract boolean compareReal(float l, float r)
protected abstract boolean compareString(java.lang.String l, java.lang.String r)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |