Uses of Interface net.sf.tweety.logics.commons.analysis.BeliefSetConsistencyTester (Tweety (Commons Logic) 1.16 API)

Packages that use BeliefSetConsistencyTester
Package Description

net.sf.tweety.logics.commons.analysis

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

Subinterfaces of BeliefSetConsistencyTester in net.sf.tweety.logics.commons.analysis
Modifier and Type	Interface	Description
`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 BeliefSetConsistencyTester
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.

Constructors in net.sf.tweety.logics.commons.analysis with parameters of type BeliefSetConsistencyTester
Constructor	Description
`DrasticInconsistencyMeasure(BeliefSetConsistencyTester<S> consTester)`	Creates a new drastic inconsistency measure.
`NaiveMusEnumerator(BeliefSetConsistencyTester<S> tester)`	Creates a new naive MusEnumerator that uses the given consistency tester.