Class Hierarchy
- java.lang.Object
- net.sf.tweety.logics.pl.postulates.ImPostulate (implements net.sf.tweety.commons.postulates.Postulate<S>)
- net.sf.tweety.logics.pl.postulates.ImAdjunctionInvariance
 - net.sf.tweety.logics.pl.postulates.ImAttenuation
 - net.sf.tweety.logics.pl.postulates.ImConsistency
 - net.sf.tweety.logics.pl.postulates.ImContradiction
 - net.sf.tweety.logics.pl.postulates.ImDominance
 - net.sf.tweety.logics.pl.postulates.ImEqualConflict
 - net.sf.tweety.logics.pl.postulates.ImExchange
 - net.sf.tweety.logics.pl.postulates.ImFreeFormulaDilution
 - net.sf.tweety.logics.pl.postulates.ImFreeFormulaIndependence
 - net.sf.tweety.logics.pl.postulates.ImIrrelevanceOfSyntax
 - net.sf.tweety.logics.pl.postulates.ImMINormalization
 - net.sf.tweety.logics.pl.postulates.ImMISeparability
 - net.sf.tweety.logics.pl.postulates.ImMonotony
 - net.sf.tweety.logics.pl.postulates.ImNormalization
 - net.sf.tweety.logics.pl.postulates.ImPenalty
 - net.sf.tweety.logics.pl.postulates.ImSafeFormulaIndependence
 - net.sf.tweety.logics.pl.postulates.ImSuperAdditivity
 - net.sf.tweety.logics.pl.postulates.ImWeakDominance
 
 
 - net.sf.tweety.logics.pl.postulates.ImPostulate (implements net.sf.tweety.commons.postulates.Postulate<S>)