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

Packages that use MusEnumerator

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

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 and Description
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 MusEnumerator

Constructor and Description
CcInconsistencyMeasure(MusEnumerator<S> enumerator, net.sf.tweety.math.opt.Solver solver) Creates a new measure that uses the given MUS enumerator and Integer programming solver
CspInconsistencyMeasure(MusEnumerator<S> enumerator, net.sf.tweety.math.opt.Solver solver) Creates a new measure that uses the given MUS enumerator and Integer programming solver.
CspInconsistencyMeasure(net.sf.tweety.math.func.SimpleFunction<Double,Double> measureFunction, MusEnumerator<S> enumerator, net.sf.tweety.math.opt.Solver solver) Creates a new measure that uses the given measure function, MUS enumerator, and Integer programming solver
DfInconsistencyMeasure(net.sf.tweety.math.func.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.