public class UnnamedVar extends VarTerm
Modifier and Type | Field and Description |
---|---|
int |
myId |
emptyTermArray, emptyTermList
LFalse, LNeg, LPos, LTrue, predicateIndicatorCache
hashCodeCache, srcInfo
Constructor and Description |
---|
UnnamedVar() |
UnnamedVar(int id) |
Modifier and Type | Method and Description |
---|---|
Term |
clone()
make a deep copy of the terms
|
int |
compareTo(Term t) |
static UnnamedVar |
create(java.lang.String name) |
boolean |
equals(java.lang.Object t)
returns the value of this var.
|
boolean |
isUnnamedVar() |
add, add, addAll, addAll, addTerm, addTerms, append, canBeAddedInBB, capply, clear, cloneLT, cloneLTShallow, concat, contains, containsAll, countVars, difference, get, getArity, getAsDOM, getAsList, getLast, getNext, getPenultimate, getTail, getTerm, getTerm, getTerms, hasVar, indexOf, insert, intersection, isArithExpr, isAtom, isCyclicTerm, isEmpty, isEnd, isGround, isInternalAction, isList, isLiteral, isNumeric, isPlanBody, isPred, isRule, isString, isStructure, isTail, isVar, iterator, lastIndexOf, listIterator, listIterator, listTermIterator, logicalConsequence, parseVar, remove, remove, removeAll, removeLast, retainAll, reverse, set, setNext, setTail, setTerm, setTerm, setTerms, size, solve, subList, subSets, subsumes, toArray, toArray, toString, union
calcHashCode, getErrorMsg, getPredicateIndicator, negated, setNegated
addAnnot, addAnnots, addAnnots, addSource, clearAnnots, createSource, delAnnot, delAnnots, delSource, delSources, equalsAsStructure, getAnnot, getAnnots, getAnnots, getSources, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, importAnnots, makeVarsAnnon, parsePred, setAnnots, toStringAsTerm
addTerms, delTerm, getSingletonVars, getTermsSize, hasTerm, isUnary, makeTermsAnnon, makeVarsAnnon, parse, varToReplace
getFunctor
copy, forceFullLiteralImpl, getAsListOfTerms, getTermsArray, newFromListOfTerms, parseLiteral
getCyclicVar, getSrcInfo, hashCode, resetHashCodeCache, setSrcInfo
finalize, getClass, notify, notifyAll, wait, wait, wait
getCyclicVar, getSrcInfo, setSrcInfo
public static UnnamedVar create(java.lang.String name)
public boolean equals(java.lang.Object t)
VarTerm
public int compareTo(Term t)
public boolean isUnnamedVar()
isUnnamedVar
in interface Term
isUnnamedVar
in class VarTerm