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

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

Package	Description
net.sf.tweety.action
net.sf.tweety.action.description
net.sf.tweety.arg.prob.analysis
net.sf.tweety.logics.commons.analysis
net.sf.tweety.logics.commons.analysis.streams
net.sf.tweety.logics.pcl
net.sf.tweety.logics.pcl.analysis
net.sf.tweety.logics.pcl.test
net.sf.tweety.logics.pl.analysis
net.sf.tweety.logics.pl.sat
net.sf.tweety.logics.pl.test
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

Class and 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.action.description

Class and 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.prob.analysis

Class and 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 and 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 and 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

Class and 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.pcl.analysis

Class and 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.pcl.test

Class and 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.pl.analysis

Class and Description
BeliefSetInconsistencyMeasure Classes extending this abstract class represent inconsistency measures on belief sets.
ConsistencyWitnessProvider Provides methods for returning some model (if it exists) of a set of formulas.
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.sat

Class and 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.pl.test

Class and Description
CspInconsistencyMeasure This class implements the inconsistency measure I_CSP from [Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi.

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

Class and 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 and Description
AbstractMusEnumerator Abstract implementation for MUes enumerators.
InconsistencyMeasure Classes implementing this interface represent inconsistency measures on belief bases.