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

Packages that use MusEnumerator

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

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

Classes in net.sf.tweety.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 net.sf.tweety.logics.commons.analysis with parameters of type MusEnumerator

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<java.lang.Double,java.lang.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[],java.lang.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 net.sf.tweety.logics.pl.sat

Classes in net.sf.tweety.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.