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

Packages that use Postulate

Package	Description
net.sf.tweety.commons.postulates
net.sf.tweety.logics.pl.postulates

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

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

Modifier and Type	Field and Description
private java.util.Map<Postulate<S>,java.util.Collection<java.util.Collection<S>>>	PostulateEvaluationReport.negativeInstances the instances that violate the given postulate
private java.util.Map<Postulate<S>,java.util.Collection<java.util.Collection<S>>>	PostulateEvaluationReport.notApplicableInstances the instances that are not applicable for the given postulate (thus also satisfy the postulate)
private java.util.Map<Postulate<S>,java.util.Collection<java.util.Collection<S>>>	PostulateEvaluationReport.positiveInstances the instances that satisfy the given postulate (and are applicable)
private java.util.List<Postulate<S>>	PostulateEvaluator.postulates the list of postulates the approach is evaluated against

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

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

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

Constructor and Description
PostulateEvaluationReport(PostulateEvaluatable<S> ev, java.util.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, java.util.Collection<Postulate<S>> postulates) Creates a new evaluator for the given evaluatable and belief base generator.

Uses of Postulate in net.sf.tweety.logics.pl.postulates

Classes in net.sf.tweety.logics.pl.postulates that implement Postulate

Modifier and Type	Class and Description
class	AbstractImPostulate An abstract postulate for inconsistency measures in propositional logic; the ancestor of all concrete postulates.
class	ImFreeFormulaIndependence The "free-formula independence" postulate for inconsistency measures: removing a formula not participating in any minimal inconsistent set does not change the inconsistency value.
class	ImMonotony The "monotony" postulate for inconsistency measures: adding information to a belief base cannot decrease the inconsistency value.