Package net.sf.tweety.commons.postulates

Interface Summary

Interface	Description
Postulate<S extends Formula>	Models a general (rationality) postulate, i.e.
PostulateEvaluatable<S extends Formula>	Classes implementing this interface can be evaluated wrt.

Class Summary

Class	Description
PostulateEvaluationReport<S extends Formula>	Summarises the results of a postulate evaluation.
PostulateEvaluator<T extends Formula,U extends BeliefSet<T,?>>	Evaluates some approach (reasoner, measure, etc.) wrt.