Package org.tweetyproject.logics.pl.analysis

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

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.