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

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	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	Description
`CcInconsistencyMeasure(MusEnumerator<S> enumerator, net.sf.tweety.math.opt.solver.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 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 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.