|
|||||||||
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.jAfter
public class jAfter
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 | |
---|---|
jAfter(jTerm l,
jTerm r)
|
Method Summary | |
---|---|
protected boolean |
compareOrder(jTerm l,
jTerm r)
|
protected jBinaryBuiltinPredicate |
duplicate(jTerm l,
jTerm r)
|
java.lang.String |
getName()
Returns the name of this instance. |
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, 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, 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 |
Constructor Detail |
---|
public jAfter(jTerm l, jTerm r)
Method Detail |
---|
public java.lang.String getName()
iName
getName
in interface iName
getName
in interface iTerm
getName
in class jTerm
String
containing name of this instance.protected jBinaryBuiltinPredicate duplicate(jTerm l, jTerm r)
duplicate
in class jBinaryBuiltinPredicate
protected boolean compareOrder(jTerm l, jTerm r)
public boolean prove(jOperatorGoal og)
prove
in class jOperator
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |