public abstract class InconsistencyMeasureFactory
extends java.lang.Object
| Modifier and Type | Class and Description | 
|---|---|
static class  | 
InconsistencyMeasureFactory.Measure
An enumeration of all available inconsistency measures. 
 | 
| Constructor and Description | 
|---|
InconsistencyMeasureFactory()  | 
| Modifier and Type | Method and Description | 
|---|---|
static InconsistencyMeasure<BeliefSet<PropositionalFormula>> | 
getInconsistencyMeasure(InconsistencyMeasureFactory.Measure im)
Creates a new inconsistency measure of the given type with default
 settings. 
 | 
public static InconsistencyMeasure<BeliefSet<PropositionalFormula>> getInconsistencyMeasure(InconsistencyMeasureFactory.Measure im)
im - some identifier of an inconsistency measure.