Uses of Package
org.tweetyproject.logics.commons.analysis

Packages that use org.tweetyproject.logics.commons.analysis

Package	Description
org.tweetyproject.action.description.analysis
org.tweetyproject.arg.prob.analysis
org.tweetyproject.logics.bpm.analysis
org.tweetyproject.logics.commons.analysis
org.tweetyproject.logics.commons.analysis.streams
org.tweetyproject.logics.pcl.analysis
org.tweetyproject.logics.pl.analysis
org.tweetyproject.logics.pl.postulates
org.tweetyproject.logics.pl.sat
org.tweetyproject.logics.qbf.reasoner
org.tweetyproject.lp.asp.analysis

Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.action.description.analysis

Class	Description
ConsistencyTester	Classes implementing this interface are capable of testing whether a given belief base is consistent.

Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.arg.prob.analysis

Class	Description
InconsistencyMeasure	Classes implementing this interface represent inconsistency measures on belief bases.

Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.logics.bpm.analysis

Class	Description
InconsistencyMeasure	Classes implementing this interface represent inconsistency measures on belief bases.

Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.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.
InconsistencyMeasureReport	This class summarizes the results of computing inconsistency values for some collection of knowledge bases using some set of inconsistency measures, including computation times and some statistics.
InconsistencyMeasureResult	This class represents the results the result of a call to an inconsistency measure with a knowledge base, i.e.
InconsistencyMeasureResult.Status	Enum representing the status of an InconsistencyMeasureResult.
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 org.tweetyproject.logics.commons.analysis used by org.tweetyproject.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.

Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.logics.pcl.analysis

Class	Description
AbstractBeliefSetConsistencyTester	Classes extending this abstract class are capable of testing whether a given belief set is consistent.
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.

Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.logics.pl.analysis

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.
InterpolantEnumerator	Interface for classes enumerating (Craig) interpolants.

Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.logics.pl.postulates

Class	Description
BeliefSetInconsistencyMeasure	Classes extending this abstract class represent inconsistency measures on belief sets.

Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.logics.pl.sat

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.
ConsistencyTester	Classes implementing this interface are capable of testing whether a given belief base is consistent.
ConsistencyWitnessProvider	Provides methods for returning some model (if it exists) of a set of formulas.
MusEnumerator	Interface for classes enumerating MUSes (minimal unsatisfiable sets) and MCSs (maximal consistent sets).

Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.logics.qbf.reasoner

Class	Description
BeliefSetConsistencyTester	Classes extending this abstract class are capable of testing whether a given belief set is consistent.
ConsistencyTester	Classes implementing this interface are capable of testing whether a given belief base is consistent.

Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.lp.asp.analysis

Class	Description
InconsistencyMeasure	Classes implementing this interface represent inconsistency measures on belief bases.