Uses of Package
net.sf.tweety.logics.commons.analysis

Packages that use net.sf.tweety.logics.commons.analysis

Package	Description
net.sf.tweety.logics.commons.analysis
net.sf.tweety.logics.commons.analysis.streams

Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.logics.commons.analysis

Class	Description
AbstractMusEnumerator	Abstract implementation for MUes enumerators.
BeliefSetConsistencyTester	Classes extending this abstract class are capable of testing whether a given belief set is consistent.
BeliefSetInconsistencyMeasure	Classes extending this abstract class represent inconsistency measures on belief sets.
ConsistencyTester	Classes implementing this interface are capable of testing whether a given belief base is consistent.
CulpabilityMeasure	Classes implementing this interface represent culpability measures, i.e.
InconsistencyMeasure	Classes implementing this interface represent inconsistency measures on belief bases.
MicInconsistencyMeasure	This class models the MI^C inconsistency measure.
MiInconsistencyMeasure	This class models the MI inconsistency measure.
MusEnumerator	Interface for classes enumerating MUSes (minimal unsatisfiable sets) and MCSs (maximal consistent sets).

Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.logics.commons.analysis.streams

Class	Description
BeliefSetInconsistencyMeasure	Classes extending this abstract class represent inconsistency measures on belief sets.
InconsistencyMeasure	Classes implementing this interface represent inconsistency measures on belief bases.