net.sf.tweety.commons.postulates

Interfaces

• Postulate
• PostulateEvaluatable

Classes

• PostulateEvaluationReport
• PostulateEvaluator