|
|||||||||
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.jTrinaryBuiltinPredicate
ubc.cs.JLog.Builtins.jConvertArray
public class jConvertArray
Field Summary |
---|
Fields inherited from class ubc.cs.JLog.Terms.jTrinaryBuiltinPredicate |
---|
term1, term2, term3 |
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 | |
---|---|
jConvertArray(jTerm t1,
jTerm t2,
jTerm t3)
|
Method Summary | |
---|---|
protected jTerm |
convert_makelist(java.util.Enumeration e,
jTerm r)
|
jTrinaryBuiltinPredicate |
duplicate(jTerm t1,
jTerm t2,
jTerm t3)
|
java.lang.String |
getName()
Returns the name of this instance. |
boolean |
prove(jTrinaryBuiltinPredicateGoal cag)
|
Methods inherited from class ubc.cs.JLog.Terms.jTrinaryBuiltinPredicate |
---|
addGoals, addGoals, compareArguments, consult, consultReset, copy, duplicate, enumerateVariables, equivalenceArguments, getArguments, getArity, getTerm1, getTerm2, getTerm3, isConsultNeeded, registerUnboundVariables, registerVariables, toString, 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 jConvertArray(jTerm t1, jTerm t2, jTerm t3)
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.public boolean prove(jTrinaryBuiltinPredicateGoal cag)
prove
in class jTrinaryBuiltinPredicate
protected jTerm convert_makelist(java.util.Enumeration e, jTerm r)
public jTrinaryBuiltinPredicate duplicate(jTerm t1, jTerm t2, jTerm t3)
duplicate
in class jTrinaryBuiltinPredicate
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |