Package net.sf.tweety.lp.asp.analysis
Class AspInconsistencyMeasureTest
- java.lang.Object
-
- net.sf.tweety.lp.asp.analysis.AspInconsistencyMeasureTest
-
public class AspInconsistencyMeasureTest extends java.lang.Object
Tests the functionality of PmInconsistencyMeasure- Author:
- Matthias Thimm
-
-
Field Summary
Fields Modifier and Type Field Description static PmInconsistencyMeasure
mpm
static SdInconsistencyMeasure
msd
static ASPSolver
solver
-
Constructor Summary
Constructors Constructor Description AspInconsistencyMeasureTest()
-
-
-
Field Detail
-
solver
public static ASPSolver solver
-
mpm
public static PmInconsistencyMeasure mpm
-
msd
public static SdInconsistencyMeasure msd
-
-
Method Detail
-
init
public static void init()
-
test1
public void test1() throws SolverException
- Throws:
SolverException
-
-