S
- The type of formulapublic class EtaInconsistencyMeasure<S extends Formula> extends BeliefSetInconsistencyMeasure<S>
Modifier and Type | Field and Description |
---|---|
private InterpretationIterator<?> |
it
Used for enumerating the interpretations of the underlying language.
|
MEASURE_TOLERANCE
Constructor and Description |
---|
EtaInconsistencyMeasure(InterpretationIterator<?> it)
Creates a new inconsistency measure that uses the interpretations given
by the given iterator.
|
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.
|
java.lang.String |
toString() |
inconsistencyMeasure
private InterpretationIterator<?> it
public EtaInconsistencyMeasure(InterpretationIterator<?> it)
it
- some interpretation iterator.public java.lang.Double inconsistencyMeasure(java.util.Collection<S> formulas)
BeliefSetInconsistencyMeasure
inconsistencyMeasure
in class BeliefSetInconsistencyMeasure<S extends Formula>
formulas
- a collection of formulas.public java.lang.String toString()
toString
in class java.lang.Object