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 and Description
interface	BeliefSetConsistencyTester<S 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 and Description
class	AbstractBeliefSetConsistencyTester<S 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.