public class Atom extends Literal
Literal.FalseLiteral, Literal.TrueLiteral
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
functor |
private static java.util.logging.Logger |
logger |
private Atom |
ns |
private static long |
serialVersionUID |
DefaultNS, LFalse, LNeg, LPos, LTrue, predicateIndicatorCache
hashCodeCache, srcInfo
Modifier | Constructor and Description |
---|---|
|
Atom(Atom namespace,
Literal l) |
protected |
Atom(Atom namespace,
java.lang.String functor) |
|
Atom(Literal l) |
|
Atom(Literal l,
Unifier u) |
|
Atom(java.lang.String functor) |
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() |
Literal |
cloneNS(Atom newnamespace)
clone in another namespace
|
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
|
Atom |
getNS()
returns the name spaceof 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
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
countVars, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isCyclicTerm, isGround, isInternalAction, isList, isNumeric, isPlanBody, isPred, isRule, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes
private static final long serialVersionUID
private static java.util.logging.Logger logger
private final java.lang.String functor
private final Atom ns
public Atom(java.lang.String functor)
protected Atom(Atom namespace, java.lang.String functor)
public Atom(Literal l)
public java.lang.String getFunctor()
Literal
getFunctor
in class Literal
public Atom getNS()
Literal
public Term clone()
clone
in interface Term
clone
in class DefaultTerm
public Term capply(Unifier u)
Term
capply
in interface Term
capply
in class DefaultTerm
public Literal cloneNS(Atom newnamespace)
Term
cloneNS
in interface Term
cloneNS
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)