public abstract class DefaultTerm extends java.lang.Object implements Term, java.io.Serializable
ASSyntax
,
Serialized FormModifier and Type | Field and Description |
---|---|
protected java.lang.Integer |
hashCodeCache |
protected SourceInfo |
srcInfo |
Constructor and Description |
---|
DefaultTerm() |
Modifier and Type | Method and Description |
---|---|
protected abstract int |
calcHashCode() |
Term |
capply(Unifier u)
clone and applies together (and faster than clone and then apply)
|
abstract Term |
clone() |
int |
compareTo(Term t) |
void |
countVars(java.util.Map<VarTerm,java.lang.Integer> c) |
VarTerm |
getCyclicVar() |
java.lang.String |
getErrorMsg() |
SourceInfo |
getSrcInfo() |
int |
hashCode() |
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() |
static Term |
parse(java.lang.String sTerm)
Deprecated.
it is preferable to use ASSyntax.parseTerm
|
void |
resetHashCodeCache() |
void |
setSrcInfo(SourceInfo s)
Removes the value cached for hashCode
|
boolean |
subsumes(Term l) |
protected java.lang.Integer hashCodeCache
protected SourceInfo srcInfo
public static Term parse(java.lang.String sTerm)
public boolean isUnnamedVar()
isUnnamedVar
in interface Term
public boolean isInternalAction()
isInternalAction
in interface Term
public boolean isArithExpr()
isArithExpr
in interface Term
public boolean isStructure()
isStructure
in interface Term
public boolean isPlanBody()
isPlanBody
in interface Term
public boolean isCyclicTerm()
isCyclicTerm
in interface Term
public VarTerm getCyclicVar()
getCyclicVar
in interface Term
public void countVars(java.util.Map<VarTerm,java.lang.Integer> c)
public abstract Term clone()
protected abstract int calcHashCode()
public int hashCode()
hashCode
in class java.lang.Object
public void resetHashCodeCache()
public int compareTo(Term t)
compareTo
in interface java.lang.Comparable<Term>
public Term capply(Unifier u)
Term
public SourceInfo getSrcInfo()
getSrcInfo
in interface Term
public void setSrcInfo(SourceInfo s)
Term
setSrcInfo
in interface Term
public java.lang.String getErrorMsg()