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>)