Class SatBasedInconsistencyMeasure
- java.lang.Object
-
- org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<PlFormula>
-
- org.tweetyproject.logics.pl.analysis.SatBasedInconsistencyMeasure
-
- All Implemented Interfaces:
PostulateEvaluatable<PlFormula>
,InconsistencyMeasure<BeliefSet<PlFormula,?>>
- Direct Known Subclasses:
ContensionSatInconsistencyMeasure
,DHitSatInconsistencyMeasure
,DMaxSatInconsistencyMeasure
,DSumSatInconsistencyMeasure
,HsSatInconsistencyMeasure
public abstract class SatBasedInconsistencyMeasure extends BeliefSetInconsistencyMeasure<PlFormula>
A common base class for inconsistency measure implementations based on SAT encodings.- Author:
- Anna Gessler
-
-
Field Summary
-
Fields inherited from interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE
-
-
Constructor Summary
Constructors Constructor Description SatBasedInconsistencyMeasure()
Create a new SAT-based inconsistency measure with the given SAT solver.SatBasedInconsistencyMeasure(SatSolver solver)
Create a new SAT-based inconsistency measure with the given SAT solver.
-
Method Summary
-
Methods inherited from class org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure
inconsistencyMeasure, inconsistencyMeasure
-
-
-
-
Constructor Detail
-
SatBasedInconsistencyMeasure
public SatBasedInconsistencyMeasure(SatSolver solver)
Create a new SAT-based inconsistency measure with the given SAT solver.- Parameters:
solver
- some SAT solver
-
SatBasedInconsistencyMeasure
public SatBasedInconsistencyMeasure()
Create a new SAT-based inconsistency measure with the given SAT solver.
-
-