Uses of Interface
org.tweetyproject.logics.commons.analysis.MusEnumerator

Packages that use MusEnumerator

Package	Description
org.tweetyproject.logics.commons.analysis
org.tweetyproject.logics.pl.sat

Uses of MusEnumerator in org.tweetyproject.logics.commons.analysis

Classes in org.tweetyproject.logics.commons.analysis that implement MusEnumerator

Modifier and Type	Class	Description
class	AbstractMusEnumerator<S extends Formula>	Abstract implementation for MUes enumerators.
class	NaiveMusEnumerator<S extends Formula>	A simple approach to compute minimal inconsistent subsets and maximal consistent subsets by exhaustive search.

Constructors in org.tweetyproject.logics.commons.analysis with parameters of type MusEnumerator

Modifier	Constructor	Description
	CcInconsistencyMeasure(MusEnumerator<S> enumerator, Solver solver)	Creates a new measure that uses the given MUS enumerator and Integer programming solver
	CspInconsistencyMeasure(MusEnumerator<S> enumerator, Solver solver)	Creates a new measure that uses the given MUS enumerator and Integer programming solver.
	CspInconsistencyMeasure(SimpleFunction<Double,Double> measureFunction, MusEnumerator<S> enumerator, Solver solver)	Creates a new measure that uses the given measure function, MUS enumerator, and Integer programming solver
	DfInconsistencyMeasure(SimpleFunction<double[],Double> measureFunction, MusEnumerator<S> enumerator)	Creates a new inconsistency measure.
	IsInconsistencyMeasure(MusEnumerator<S> enumerator)	Creates a new measure that uses the given MUS enumerator.
	MaInconsistencyMeasure(MusEnumerator<S> enumerator)	Creates a new inconsistency measure.
	McscInconsistencyMeasure(MusEnumerator<S> enumerator)	Creates a new inconsistency measure.
	MicInconsistencyMeasure(MusEnumerator<S> enumerator)	Creates a new drastic inconsistency measure.
	MiInconsistencyMeasure(MusEnumerator<S> enumerator)	Creates a new inconsistency measure.
	NConsInconsistencyMeasure(MusEnumerator<S> enumerator)	Creates a new inconsistency measure.
	NormalizedMicInconsistencyMeasure(MusEnumerator<S> enumerator)	Creates a new inconsistency measure with the given consistency tester
	NormalizedMiInconsistencyMeasure(MusEnumerator<S> enumerator)	Creates a new inconsistency measure with the given consistency tester
	PrInconsistencyMeasure(MusEnumerator<S> enumerator)	Creates a new drastic inconsistency measure.

Uses of MusEnumerator in org.tweetyproject.logics.pl.sat

Classes in org.tweetyproject.logics.pl.sat that implement MusEnumerator

Modifier and Type	Class	Description
class	MarcoMusEnumerator	Implements a MUs enumerator based on MARCO (http://sun.iwu.edu/~mliffito/marco/).
class	MimusMusEnumerator	Implements a MUs enumerator based on MIMUS (http://www.cs.qub.ac.uk/~kmcareavey01/mimus.html).
class	PlMusEnumerator	This abstract class models a MUS enumerator for propositional logic, i.e.