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

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

Package	Description
net.sf.tweety.action.description.analysis
net.sf.tweety.arg.adf.sat
net.sf.tweety.arg.prob.analysis
net.sf.tweety.logics.commons.analysis
net.sf.tweety.logics.commons.analysis.streams
net.sf.tweety.logics.pcl.analysis
net.sf.tweety.logics.pl.analysis
net.sf.tweety.logics.pl.postulates
net.sf.tweety.logics.pl.sat
net.sf.tweety.logics.qbf.reasoner
net.sf.tweety.lp.asp.analysis
net.sf.tweety.web.services

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

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

Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.arg.adf.sat

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.
ConsistencyWitnessProvider	Provides methods for returning some model (if it exists) of a set of formulas.

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

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

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.

Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.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 net.sf.tweety.logics.commons.analysis used by net.sf.tweety.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 net.sf.tweety.logics.commons.analysis used by net.sf.tweety.logics.pl.postulates

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

Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.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 net.sf.tweety.logics.commons.analysis used by net.sf.tweety.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 net.sf.tweety.logics.commons.analysis used by net.sf.tweety.lp.asp.analysis

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

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

Class	Description
AbstractMusEnumerator	Abstract implementation for MUes enumerators.