public class AspInconsistencyMeasureTest
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static PmInconsistencyMeasure |
mpm |
static SdInconsistencyMeasure |
msd |
static Solver |
solver |
Constructor and Description |
---|
AspInconsistencyMeasureTest() |
Modifier and Type | Method and Description |
---|---|
static void |
init() |
void |
test1() |
public static Solver solver
public static PmInconsistencyMeasure mpm
public static SdInconsistencyMeasure msd
public static void init()
public void test1() throws SolverException
SolverException