Uses of Interface net.sf.tweety.commons.postulates.PostulateEvaluatable (Tweety (Commons) 1.17 API)

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