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 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.