public class NormalizedMicInconsistencyMeasure<S extends Formula> extends MicInconsistencyMeasure<S>
MEASURE_TOLERANCE
Constructor and Description |
---|
NormalizedMicInconsistencyMeasure(MusEnumerator<S> enumerator)
Creates a new inconsistency measure with the given consistency tester
|
Modifier and Type | Method and Description |
---|---|
java.lang.Double |
inconsistencyMeasure(java.util.Collection<S> beliefSet)
This method measures the inconsistency of the given set of formulas.
|
toString
inconsistencyMeasure
public NormalizedMicInconsistencyMeasure(MusEnumerator<S> enumerator)
enumerator
- some MUs enumeratorpublic java.lang.Double inconsistencyMeasure(java.util.Collection<S> beliefSet)
BeliefSetInconsistencyMeasure
inconsistencyMeasure
in class MicInconsistencyMeasure<S extends Formula>
beliefSet
- a collection of formulas.