|
|||||||||
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.jConjunctTerm
ubc.cs.JLog.Terms.jCons
public class jCons
Field Summary |
---|
Fields inherited from class ubc.cs.JLog.Terms.jConjunctTerm |
---|
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 | |
---|---|
jCons(jTerm l,
jTerm r)
|
Method Summary | |
---|---|
jConjunctTerm |
duplicate(jTerm l,
jTerm r)
|
java.lang.String |
getName()
Returns the name of this instance. |
java.lang.String |
toString(boolean usename)
Produces a string identifying this term, suitable for display to the console. |
java.lang.String |
toTailString(boolean usename)
|
Methods inherited from class ubc.cs.JLog.Terms.jConjunctTerm |
---|
compare, consult, consultReset, copy, duplicate, enumerateVariables, equivalence, getLHS, getRHS, registerUnboundVariables, registerVariables, requiresCompleteVariableState, setLHS, setRHS, unify |
Methods inherited from class ubc.cs.JLog.Terms.jTerm |
---|
compare, copy, getTerm, getValue, isConsultNeeded, 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 jCons(jTerm l, jTerm r)
Method Detail |
---|
public jConjunctTerm duplicate(jTerm l, jTerm r)
duplicate
in class jConjunctTerm
public java.lang.String getName()
iName
getName
in interface iName
getName
in interface iTerm
getName
in class jTerm
String
containing name of this instance.public java.lang.String toString(boolean usename)
jTerm
false
is the default for displaying the term,
true
for displaying this term in a user query.
toString
in interface iTerm
toString
in class jTerm
String
which is a textual representation of this
term.public java.lang.String toTailString(boolean usename)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |