Package jason.asSyntax
Class Literal.DefaultNameSpace
java.lang.Object
jason.asSyntax.DefaultTerm
jason.asSyntax.Literal
jason.asSyntax.Atom
jason.asSyntax.Literal.DefaultNameSpace
- All Implemented Interfaces:
LogicalFormula
,Term
,ToDOM
,ToJson
,java.io.Serializable
,java.lang.Cloneable
,java.lang.Comparable<Term>
- Enclosing class:
- Literal
private static final class Literal.DefaultNameSpace extends Atom
-
Nested Class Summary
Nested classes/interfaces inherited from class jason.asSyntax.Literal
Literal.FalseLiteral, Literal.TrueLiteral
-
Field Summary
Fields inherited from class jason.asSyntax.Literal
DefaultNS, LFalse, LNeg, LPos, LTrue, predicateIndicatorCache
Fields inherited from class jason.asSyntax.DefaultTerm
hashCodeCache, srcInfo
-
Constructor Summary
Constructors Constructor Description DefaultNameSpace()
-
Method Summary
Modifier and Type Method Description protected int
calcHashCode()
Term
capply(Unifier u)
clone and applies together (and faster than clone and then apply)Literal
cloneNS(Atom newnamespace)
clone in another namespaceboolean
equals(java.lang.Object o)
Atom
getNS()
returns the name spaceof this literalprotected java.lang.Object
readResolve()
java.lang.String
toString()
Methods inherited from class jason.asSyntax.Literal
addAnnot, addAnnots, addAnnots, addSource, addSourceInfoAsAnnots, addTerm, addTerms, addTerms, canBeAddedInBB, clearAnnots, copy, delAnnot, delAnnots, delAnnots, delSource, delSources, delTerm, equalsAsStructure, forceFullLiteralImpl, getAnnot, getAnnots, getAnnots, getArity, getAsJson, getAsListOfTerms, getPredicateIndicator, getSingletonVars, getSources, getTerm, getTerms, getTermsArray, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, hasTerm, importAnnots, isLiteral, logicalConsequence, makeTermsAnnon, makeVarsAnnon, makeVarsAnnon, negated, newFromListOfTerms, newFunctor, noSource, parseLiteral, setAnnots, setNegated, setTerm, setTerms, subjectToBUF
Methods inherited from class jason.asSyntax.DefaultTerm
countVars, getCyclicVar, getErrorMsg, getSrcInfo, hashCode, hasVar, isArithExpr, isCyclicTerm, isGround, isInternalAction, isList, isMap, isNumeric, isPlanBody, isPred, isRule, isSet, isString, isStructure, isUnnamedVar, isVar, parse, resetHashCodeCache, setSrcInfo, subsumes
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface jason.asSyntax.Term
countVars, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isCyclicTerm, isGround, isInternalAction, isList, isMap, isNumeric, isPlanBody, isPred, isRule, isSet, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes
Methods inherited from interface jason.util.ToJson
getAsJsonStr
-
Constructor Details
-
DefaultNameSpace
public DefaultNameSpace()
-
-
Method Details
-
calcHashCode
protected int calcHashCode()- Overrides:
calcHashCode
in classAtom
-
capply
Description copied from interface:Term
clone and applies together (and faster than clone and then apply) -
cloneNS
Description copied from interface:Term
clone in another namespace -
getNS
Description copied from class:Literal
returns the name spaceof this literal -
equals
public boolean equals(java.lang.Object o) -
toString
public java.lang.String toString() -
readResolve
protected java.lang.Object readResolve()
-