Package jason.asSyntax

Interface LogicalFormula

All Superinterfaces:

Cloneable, Comparable<Term>, Serializable, Term, ToDOM, ToJson

All Known Implementing Classes:

ArithExpr, ArithFunctionTerm, Atom, BinaryStructure, CyclicTerm, InternalActionLiteral, ListTermImpl, Literal, LiteralImpl, LogExpr, Plan, PlanBodyImpl, Pred, RelExpr, Rule, Structure, Trigger, UnnamedVar, VarTerm

public interface LogicalFormula
extends Term, Cloneable

Represents a logical formula (p, p invalid input: '&' q, not p, 3 > X, ...) which can be evaluated into a truth value.

Method Summary

Modifier and Type	Method	Description
Iterator<Unifier>	logicalConsequence(Agent ag, Unifier un)	Checks whether the formula is a logical consequence of the belief base.

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface jason.asSyntax.Term

capply, clone, cloneNS, countVars, equals, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isAtom, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isMap, isNumeric, isPlanBody, isPred, isRule, isSet, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes

Methods inherited from interface jason.util.ToDOM

getAsDOM

Methods inherited from interface jason.util.ToJson

getAsJson, getAsJsonStr

Method Details

logicalConsequence

Iterator<Unifier> logicalConsequence(Agent ag,
 Unifier un)

Checks whether the formula is a logical consequence of the belief base. Returns an iterator for all unifiers that are consequence.