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.Fields in net.sf.tweety.logics.commons.analysis declared as MusEnumerator Modifier and Type Field Description private MusEnumerator<S>
CcInconsistencyMeasure. enumerator
The MUS enumerator used for the measure.private MusEnumerator<S>
CspInconsistencyMeasure. enumerator
The MUS enumerator used for the measure.private MusEnumerator<S>
DfInconsistencyMeasure. enumerator
The MUs enumerator.private MusEnumerator<S>
IsInconsistencyMeasure. enumerator
The MUS enumerator used for the measure.private MusEnumerator<S>
MaInconsistencyMeasure. enumerator
The MUs enumerator.private MusEnumerator<S>
McscInconsistencyMeasure. enumerator
The MUs enumerator.private MusEnumerator<S>
MicInconsistencyMeasure. enumerator
The MUs enumerator.private MusEnumerator<S>
MiInconsistencyMeasure. enumerator
The MUs enumerator.private MusEnumerator<S>
NConsInconsistencyMeasure. enumerator
The MUs enumerator.private MusEnumerator<S>
PrInconsistencyMeasure. enumerator
The MUs enumerator.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 solverCspInconsistencyMeasure(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 solverDfInconsistencyMeasure(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 testerNormalizedMiInconsistencyMeasure(MusEnumerator<S> enumerator)
Creates a new inconsistency measure with the given consistency testerPrInconsistencyMeasure(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.
-