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