Uses of Interface
net.sf.tweety.commons.postulates.PostulateEvaluatable

Packages that use PostulateEvaluatable

Package	Description
net.sf.tweety.commons.postulates

Uses of PostulateEvaluatable in net.sf.tweety.commons.postulates

Methods in net.sf.tweety.commons.postulates with parameters of type PostulateEvaluatable

Modifier and Type	Method and Description
boolean	Postulate.isSatisfied(Collection<S> kb, PostulateEvaluatable<S> ev) Checks whether this postulate is satisfied by the given approach ev wrt.

Constructors in net.sf.tweety.commons.postulates with parameters of type PostulateEvaluatable

Constructor and Description
PostulateEvaluationReport(PostulateEvaluatable<S> ev, List<Postulate<S>> postulates) Creates a new evaluation report for the given approach and set of postulates
PostulateEvaluator(BeliefSetIterator<S,T> iterator, PostulateEvaluatable<S> ev) Creates a new evaluator for the given evaluatable and belief base generator.
PostulateEvaluator(BeliefSetIterator<S,T> iterator, PostulateEvaluatable<S> ev, Collection<Postulate<S>> postulates) Creates a new evaluator for the given evaluatable and belief base generator.