public interface Term extends java.lang.Cloneable, java.lang.Comparable<Term>, java.io.Serializable, ToDOM
Modifier and Type | Method and Description |
---|---|
Term |
capply(Unifier u)
clone and applies together (and faster than clone and then apply)
|
Term |
clone() |
void |
countVars(java.util.Map<VarTerm,java.lang.Integer> c) |
boolean |
equals(java.lang.Object o) |
VarTerm |
getCyclicVar() |
SourceInfo |
getSrcInfo() |
boolean |
hasVar(VarTerm t,
Unifier u) |
boolean |
isArithExpr() |
boolean |
isAtom() |
boolean |
isCyclicTerm() |
boolean |
isGround() |
boolean |
isInternalAction() |
boolean |
isList() |
boolean |
isLiteral() |
boolean |
isNumeric() |
boolean |
isPlanBody() |
boolean |
isPred() |
boolean |
isRule() |
boolean |
isString() |
boolean |
isStructure() |
boolean |
isUnnamedVar() |
boolean |
isVar() |
void |
setSrcInfo(SourceInfo s)
Removes the value cached for hashCode
|
boolean |
subsumes(Term l) |
boolean isVar()
boolean isUnnamedVar()
boolean isLiteral()
boolean isRule()
boolean isList()
boolean isString()
boolean isInternalAction()
boolean isArithExpr()
boolean isNumeric()
boolean isPred()
boolean isGround()
boolean isStructure()
boolean isAtom()
boolean isPlanBody()
boolean isCyclicTerm()
VarTerm getCyclicVar()
void countVars(java.util.Map<VarTerm,java.lang.Integer> c)
Term clone()
boolean equals(java.lang.Object o)
equals
in class java.lang.Object
boolean subsumes(Term l)
void setSrcInfo(SourceInfo s)
SourceInfo getSrcInfo()