public class MinimalViolation2InconsistencyMeasure extends BeliefSetInconsistencyMeasure<ProbabilisticConditional>
Modifier and Type | Field and Description |
---|---|
protected static org.slf4j.Logger |
log
Logger.
|
MEASURE_TOLERANCE
Constructor and Description |
---|
MinimalViolation2InconsistencyMeasure() |
Modifier and Type | Method and Description |
---|---|
java.lang.Double |
inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
This method measures the inconsistency of the given set of formulas.
|
java.lang.String |
toString() |
inconsistencyMeasure
public MinimalViolation2InconsistencyMeasure()
public java.lang.Double inconsistencyMeasure(java.util.Collection<ProbabilisticConditional> formulas)
BeliefSetInconsistencyMeasure
inconsistencyMeasure
in class BeliefSetInconsistencyMeasure<ProbabilisticConditional>
formulas
- a collection of formulas.public java.lang.String toString()
toString
in class java.lang.Object