Uses of Interface
net.sf.tweety.logics.commons.analysis.ConsistencyTester

Packages that use ConsistencyTester

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

Uses of ConsistencyTester in net.sf.tweety.logics.commons.analysis

Subinterfaces of ConsistencyTester in net.sf.tweety.logics.commons.analysis

Modifier and Type	Interface	Description
interface	BeliefSetConsistencyTester<T extends net.sf.tweety.commons.Formula>	Classes extending this abstract class are capable of testing whether a given belief set is consistent.
interface	MusEnumerator<S extends net.sf.tweety.commons.Formula>	Interface for classes enumerating MUSes (minimal unsatisfiable sets) and MCSs (maximal consistent sets).

Classes in net.sf.tweety.logics.commons.analysis that implement ConsistencyTester

Modifier and Type	Class	Description
class	AbstractBeliefSetConsistencyTester<T extends net.sf.tweety.commons.Formula>	Classes extending this abstract class are capable of testing whether a given belief set is consistent.
class	AbstractMusEnumerator<S extends net.sf.tweety.commons.Formula>	Abstract implementation for MUes enumerators.
class	NaiveMusEnumerator<S extends net.sf.tweety.commons.Formula>	A simple approach to compute minimal inconsistent subsets and maximal consistent subsets by exhaustive search.