public class CyclicTerm extends LiteralImpl
emptyTermArray, emptyTermList
LFalse, LNeg, LPos, LTrue, predicateIndicatorCache
hashCodeCache, srcInfo
Constructor and Description |
---|
CyclicTerm(Literal t,
VarTerm v)
creates a positive literal
|
CyclicTerm(Literal t,
VarTerm v,
Unifier u) |
Modifier and Type | Method and Description |
---|---|
protected int |
calcHashCode() |
Term |
capply(Unifier u)
clone and applies together (and faster than clone and then apply)
|
Term |
clone()
make a deep copy of the terms
|
boolean |
equals(java.lang.Object o) |
org.w3c.dom.Element |
getAsDOM(org.w3c.dom.Document document)
get as XML
|
VarTerm |
getCyclicVar() |
boolean |
isCyclicTerm() |
Literal |
makeVarsAnnon(Unifier u)
replaces all variables of the term for unnamed variables (_).
|
java.lang.String |
toString() |
canBeAddedInBB, compareTo, getErrorMsg, getPredicateIndicator, isAtom, negated, setNegated
addAnnot, addAnnots, addAnnots, addSource, clearAnnots, countVars, createSource, delAnnot, delAnnots, delSource, delSources, equalsAsStructure, getAnnot, getAnnots, getAnnots, getSources, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, hasVar, importAnnots, isGround, isPred, parsePred, setAnnots, toStringAsTerm
addTerm, addTerms, addTerms, delTerm, getArity, getSingletonVars, getTerm, getTerms, getTermsSize, hasTerm, isStructure, isUnary, makeTermsAnnon, makeVarsAnnon, parse, setTerm, setTerms, subsumes, varToReplace
getFunctor
copy, forceFullLiteralImpl, getAsListOfTerms, getTermsArray, isLiteral, logicalConsequence, newFromListOfTerms, parseLiteral
getSrcInfo, hashCode, isArithExpr, isInternalAction, isList, isNumeric, isPlanBody, isRule, isString, isUnnamedVar, isVar, resetHashCodeCache, setSrcInfo
finalize, getClass, notify, notifyAll, wait, wait, wait
getSrcInfo, isArithExpr, isInternalAction, isList, isNumeric, isPlanBody, isRule, isString, isUnnamedVar, isVar, setSrcInfo
public VarTerm getCyclicVar()
getCyclicVar
in interface Term
getCyclicVar
in class DefaultTerm
public boolean isCyclicTerm()
isCyclicTerm
in interface Term
isCyclicTerm
in class DefaultTerm
public boolean equals(java.lang.Object o)
equals
in interface Term
equals
in class LiteralImpl
public Literal makeVarsAnnon(Unifier u)
Literal
makeVarsAnnon
in class Pred
u
- is the unifier that contains the map of replacementspublic Term capply(Unifier u)
Term
capply
in interface Term
capply
in class LiteralImpl
public Term clone()
Structure
clone
in interface Term
clone
in class LiteralImpl
protected int calcHashCode()
calcHashCode
in class LiteralImpl
public java.lang.String toString()
toString
in class LiteralImpl
public org.w3c.dom.Element getAsDOM(org.w3c.dom.Document document)
LiteralImpl
getAsDOM
in interface ToDOM
getAsDOM
in class LiteralImpl