Package | Description |
---|---|
net.sf.tweety.logics.commons.analysis | |
net.sf.tweety.logics.pl.sat |
Modifier and Type | Class and 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.
|
Modifier and Type | Field and Description |
---|---|
private MusEnumerator<S> |
CcInconsistencyMeasure.enumerator
The MUS enumerator used for the measure.
|
private MusEnumerator<S> |
DfInconsistencyMeasure.enumerator
The MUs enumerator.
|
private MusEnumerator<S> |
MicInconsistencyMeasure.enumerator
The MUs enumerator.
|
private MusEnumerator<S> |
CspInconsistencyMeasure.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> |
MiInconsistencyMeasure.enumerator
The MUs enumerator.
|
private MusEnumerator<S> |
NConsInconsistencyMeasure.enumerator
The MUs enumerator.
|
private MusEnumerator<S> |
PrInconsistencyMeasure.enumerator
The MUs enumerator.
|
private MusEnumerator<S> |
IsInconsistencyMeasure.enumerator
The MUS enumerator used for the measure.
|
Constructor and 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.
|
Modifier and Type | Class and 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.
|