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

Packages that use Postulate

Package	Description
net.sf.tweety.commons.postulates

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

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

Modifier and Type	Method	Description
void	PostulateEvaluationReport.addNegativeInstance(Postulate<S> postulate, Collection<S> instance)	Adds a negative instance for the given postulate
void	PostulateEvaluationReport.addNotApplicableInstance(Postulate<S> postulate, Collection<S> instance)	Adds an instance that is not applicable for the given postulate
void	PostulateEvaluationReport.addPositiveInstance(Postulate<S> postulate, Collection<S> instance)	Adds a positive instance for the given postulate (that is applicable)
void	PostulateEvaluator.addPostulate(Postulate<T> p)	Adds the given postulate
Collection<Collection<S>>	PostulateEvaluationReport.getNegativeInstances(Postulate<S> postulate)	Returns the negative instances for the given postulate
boolean	PostulateEvaluator.removePostulate(Postulate<T> p)	Removes the given postulate

Constructor parameters in net.sf.tweety.commons.postulates with type arguments of type Postulate

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, Collection<Postulate<T>> postulates)	Creates a new evaluator for the given evaluatable and belief base generator.