public class BodyLiteral extends PlanBodyImpl
Modifier and Type | Class and Description |
---|---|
static class |
BodyLiteral.BodyType
Deprecated.
Use BodyType of PlanBody instead
|
Literal.FalseLiteral, Literal.TrueLiteral
BODY_PLAN_FUNCTOR
emptyTermArray, emptyTermList
DefaultNS, LFalse, LNeg, LPos, LTrue, predicateIndicatorCache
hashCodeCache, srcInfo
Constructor and Description |
---|
BodyLiteral(BodyLiteral.BodyType t,
Term b)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
private static PlanBody.BodyType |
oldToNew(BodyLiteral.BodyType old)
Deprecated.
|
add, add, calcHashCode, capply, clone, clonePB, equals, getArity, getAsDOM, getBodyNext, getBodyTerm, getBodyType, getLastBody, getPlanSize, getTerm, isAtom, isBodyTerm, isEmptyBody, isPlanBody, iterator, logicalConsequence, removeBody, setAsBodyTerm, setBodyNext, setBodyTerm, setBodyType, setTerm, toString
addTerm, addTerms, addTerms, cloneNS, compareTo, countVars, delTerm, getSingletonVars, getTerms, getTermsSize, hasTerm, hasVar, isGround, isStructure, isUnary, makeTermsAnnon, makeVarsAnnon, makeVarsAnnon, parse, setTerms, subsumes, varToReplace
getFunctor, getNS
addAnnot, addAnnots, addAnnots, addSource, canBeAddedInBB, clearAnnots, copy, delAnnot, delAnnots, delSource, delSources, equalsAsStructure, forceFullLiteralImpl, getAnnot, getAnnots, getAnnots, getAsListOfTerms, getPredicateIndicator, getSources, getTermsArray, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, importAnnots, isLiteral, negated, newFromListOfTerms, parseLiteral, setAnnots, setNegated
getCyclicVar, getErrorMsg, getSrcInfo, hashCode, isArithExpr, isCyclicTerm, isInternalAction, isList, isNumeric, isPred, isRule, isString, isUnnamedVar, isVar, resetHashCodeCache, setSrcInfo
finalize, getClass, notify, notifyAll, wait, wait, wait
cloneNS, countVars, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isNumeric, isPred, isRule, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes
public BodyLiteral(BodyLiteral.BodyType t, Term b)
private static PlanBody.BodyType oldToNew(BodyLiteral.BodyType old)