Class InconsistencyMeasureFactory
java.lang.Object
org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory
Main factory for retrieving inconsistency measures for propositional logic.
- Author:
- Matthias Thimm
-
Nested Class Summary
Modifier and TypeClassDescriptionstatic enum
An enumeration of all available inconsistency measures. -
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic InconsistencyMeasure
<BeliefSet<PlFormula, ?>> Creates a new inconsistency measure of the given type with default settings.
-
Constructor Details
-
InconsistencyMeasureFactory
public InconsistencyMeasureFactory()Default Constructor
-
-
Method Details
-
getInconsistencyMeasure
public static InconsistencyMeasure<BeliefSet<PlFormula,?>> getInconsistencyMeasure(InconsistencyMeasureFactory.Measure im) Creates a new inconsistency measure of the given type with default settings.- Parameters:
im
- some identifier of an inconsistency measure.- Returns:
- the requested inconsistency measure.
-