public class UnnamedVar extends VarTerm
Literal.FalseLiteral, Literal.TrueLiteral
Modifier and Type | Field and Description |
---|---|
int |
myId |
private static long |
serialVersionUID |
private static java.util.concurrent.atomic.AtomicInteger |
varCont |
emptyTermArray, emptyTermList
DefaultNS, LFalse, LNeg, LPos, LTrue, predicateIndicatorCache
hashCodeCache, srcInfo
Modifier | Constructor and Description |
---|---|
|
UnnamedVar() |
|
UnnamedVar(Atom ns) |
|
UnnamedVar(Atom ns,
int id) |
private |
UnnamedVar(Atom ns,
java.lang.String name) |
|
UnnamedVar(int id) |
private |
UnnamedVar(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
Term |
clone()
make a deep copy of the terms
|
Literal |
cloneNS(Atom newNameSpace)
clone in another namespace
|
int |
compareTo(Term t) |
static UnnamedVar |
create(Atom ns,
java.lang.String name) |
static UnnamedVar |
create(java.lang.String name) |
boolean |
equals(java.lang.Object t) |
boolean |
isUnnamedVar() |
add, add, addAll, addAll, addTerm, addTerms, append, calcHashCode, 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, union
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, toString, varToReplace
getFunctor, getNS
copy, forceFullLiteralImpl, getAsListOfTerms, getTermsArray, newFromListOfTerms, parseLiteral
getCyclicVar, getSrcInfo, hashCode, resetHashCodeCache, setSrcInfo
finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getCyclicVar, getSrcInfo, setSrcInfo
private static final long serialVersionUID
private static java.util.concurrent.atomic.AtomicInteger varCont
public int myId
public UnnamedVar()
public UnnamedVar(Atom ns)
public UnnamedVar(Atom ns, int id)
public UnnamedVar(int id)
private UnnamedVar(java.lang.String name)
private UnnamedVar(Atom ns, java.lang.String name)
public static UnnamedVar create(java.lang.String name)
public static UnnamedVar create(Atom ns, java.lang.String name)
public Literal cloneNS(Atom newNameSpace)
Term
public boolean equals(java.lang.Object t)
public int compareTo(Term t)
public boolean isUnnamedVar()
isUnnamedVar
in interface Term
isUnnamedVar
in class VarTerm