public class BodyLiteral extends PlanBodyImpl
Modifier and Type | Class and Description |
---|---|
static class |
BodyLiteral.BodyType
Deprecated.
Use BodyType of PlanBody instead
|
BODY_PLAN_FUNCTOR
emptyTermArray, emptyTermList
LFalse, LNeg, LPos, LTrue, predicateIndicatorCache
hashCodeCache, srcInfo
Constructor and Description |
---|
BodyLiteral(BodyLiteral.BodyType t,
Term b)
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, compareTo, countVars, delTerm, getSingletonVars, getTerms, getTermsSize, hasTerm, hasVar, isGround, isStructure, isUnary, makeTermsAnnon, makeVarsAnnon, makeVarsAnnon, parse, setTerms, subsumes, varToReplace
getFunctor
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
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)