Literal.FalseLiteral, Literal.TrueLiteral
DefaultNS, LFalse, LNeg, LPos, LTrue, predicateIndicatorCache
hashCodeCache, srcInfo
Constructor and Description |
---|
FalseLiteral() |
Modifier and Type | Method and Description |
---|---|
Term |
capply(Unifier u)
clone and applies together (and faster than clone and then apply)
|
Literal |
cloneNS(Atom newnamespace)
clone in another namespace
|
java.util.Iterator<Unifier> |
logicalConsequence(Agent ag,
Unifier un)
logicalConsequence checks whether one particular predicate
is a logical consequence of the belief base.
|
calcHashCode, clone, compareTo, equals, getAsDOM, getFunctor, getNS, isAtom, 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, 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
public Literal cloneNS(Atom newnamespace)
Term
public Term capply(Unifier u)
Term
public java.util.Iterator<Unifier> logicalConsequence(Agent ag, Unifier un)
Literal
logicalConsequence
in interface LogicalFormula
logicalConsequence
in class Literal