S
- The specific type of formulaspublic class CspInconsistencyMeasure<S extends Formula> extends BeliefSetInconsistencyMeasure<S>
Modifier and Type | Field and Description |
---|---|
private MusEnumerator<S> |
enumerator
The MUS enumerator used for the measure.
|
private SimpleFunction<java.lang.Double,java.lang.Double> |
measureFunction
Used for weighing the cardinalities of the Pi
|
private Solver |
solver
A solver for integer linear programs.
|
MEASURE_TOLERANCE
Constructor and Description |
---|
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
|
Modifier and Type | Method and Description |
---|---|
java.lang.Double |
inconsistencyMeasure(java.util.Collection<S> formulas)
This method measures the inconsistency of the given set of formulas.
|
inconsistencyMeasure
private MusEnumerator<S extends Formula> enumerator
private Solver solver
private SimpleFunction<java.lang.Double,java.lang.Double> measureFunction
public CspInconsistencyMeasure(SimpleFunction<java.lang.Double,java.lang.Double> measureFunction, MusEnumerator<S> enumerator, Solver solver)
measureFunction
- used for weighing the cardinalities of the Pienumerator
- some MUS enumeratorsolver
- some integer solver.public CspInconsistencyMeasure(MusEnumerator<S> enumerator, Solver solver)
enumerator
- some MUS enumeratorsolver
- some integer solver.public java.lang.Double inconsistencyMeasure(java.util.Collection<S> formulas)
BeliefSetInconsistencyMeasure
inconsistencyMeasure
in class BeliefSetInconsistencyMeasure<S extends Formula>
formulas
- a collection of formulas.