public interface LogicalFormula extends Term, java.lang.Cloneable
Modifier and Type | Method and Description |
---|---|
java.util.Iterator<Unifier> |
logicalConsequence(Agent ag,
Unifier un)
Checks whether the formula is a
logical consequence of the belief base.
|
capply, clone, countVars, equals, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isAtom, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isNumeric, isPlanBody, isPred, isRule, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes