net.sf.tweety.logics.commons.analysis

Interfaces

• BeliefSetConsistencyTester
• ConsistencyTester
• ConsistencyWitnessProvider
• CulpabilityMeasure
• InconsistencyMeasure
• MusEnumerator

Classes

• AbstractBeliefSetConsistencyTester
• AbstractMusEnumerator
• BeliefSetInconsistencyMeasure
• CcInconsistencyMeasure
• CspInconsistencyMeasure
• DfInconsistencyMeasure
• DHitInconsistencyMeasure
• DMaxInconsistencyMeasure
• DrasticInconsistencyMeasure
• DSumInconsistencyMeasure
• EtaInconsistencyMeasure
• HsInconsistencyMeasure
• IsInconsistencyMeasure
• MaInconsistencyMeasure
• McscInconsistencyMeasure
• MicInconsistencyMeasure
• MiInconsistencyMeasure
• NaiveMusEnumerator
• NConsInconsistencyMeasure
• NormalizedMicInconsistencyMeasure
• NormalizedMiInconsistencyMeasure
• PrInconsistencyMeasure
• ShapleyCulpabilityMeasure