public class Atom extends Literal
LFalse, LNeg, LPos, LTrue, predicateIndicatorCache
hashCodeCache, srcInfo
Constructor and Description |
---|
Atom(Literal l) |
Atom(java.lang.String functor) |
Modifier and Type | Method and Description |
---|---|
protected int |
calcHashCode() |
Term |
clone() |
int |
compareTo(Term t) |
boolean |
equals(java.lang.Object o) |
org.w3c.dom.Element |
getAsDOM(org.w3c.dom.Document document)
get as XML
|
java.lang.String |
getFunctor()
returns the functor of this literal
|
boolean |
isAtom() |
java.lang.String |
toString() |
addAnnot, addAnnots, addAnnots, addSource, addTerm, addTerms, addTerms, canBeAddedInBB, clearAnnots, copy, delAnnot, delAnnots, delSource, delSources, delTerm, equalsAsStructure, forceFullLiteralImpl, getAnnot, getAnnots, getAnnots, getArity, getAsListOfTerms, getPredicateIndicator, getSingletonVars, getSources, getTerm, getTerms, getTermsArray, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, hasTerm, importAnnots, isLiteral, logicalConsequence, makeTermsAnnon, makeVarsAnnon, makeVarsAnnon, negated, newFromListOfTerms, parseLiteral, setAnnots, setNegated, setTerm, setTerms
capply, countVars, getCyclicVar, getErrorMsg, getSrcInfo, hashCode, hasVar, isArithExpr, isCyclicTerm, isGround, isInternalAction, isList, isNumeric, isPlanBody, isPred, isRule, isString, isStructure, isUnnamedVar, isVar, parse, resetHashCodeCache, setSrcInfo, subsumes
finalize, getClass, notify, notifyAll, wait, wait, wait
capply, countVars, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isCyclicTerm, isGround, isInternalAction, isList, isNumeric, isPlanBody, isPred, isRule, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes
public Atom(java.lang.String functor)
public Atom(Literal l)
public java.lang.String getFunctor()
Literal
getFunctor
in class Literal
public Term clone()
clone
in interface Term
clone
in class DefaultTerm
public boolean isAtom()
isAtom
in interface Term
isAtom
in class DefaultTerm
public boolean equals(java.lang.Object o)
public int compareTo(Term t)
compareTo
in interface java.lang.Comparable<Term>
compareTo
in class DefaultTerm
protected int calcHashCode()
calcHashCode
in class DefaultTerm
public java.lang.String toString()
toString
in class java.lang.Object
public org.w3c.dom.Element getAsDOM(org.w3c.dom.Document document)