Uses of Interface
org.tweetyproject.logics.commons.analysis.MusEnumerator
-
Uses of MusEnumerator in org.tweetyproject.logics.commons.analysis
Modifier and TypeClassDescriptionclass
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.ModifierConstructorDescriptionCcInconsistencyMeasure(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<Double,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[],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 org.tweetyproject.logics.pl.sat
Modifier and TypeClassDescriptionclass
Implements a MUs enumerator based on MARCO (http://sun.iwu.edu/~mliffito/marco/).class
Implements a MUs enumerator based on MIMUS (http://www.cs.qub.ac.uk/~kmcareavey01/mimus.html).class
This abstract class models a MUS enumerator for propositional logic, i.e.