public class PmInconsistencyMeasure extends java.lang.Object implements InconsistencyMeasure<Program>
|Modifier and Type||Field and Description|
The ASP solver used for determining inconsistency
|Constructor and Description|
Creates a new inconsistency measure based on the given solver.
|Modifier and Type||Method and Description|
This method measures the inconsistency of the given belief base.
private Solver solver
public PmInconsistencyMeasure(Solver solver)
solver- some ASP solver
public java.lang.Double inconsistencyMeasure(Program beliefBase)