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()
- Method Summary
  
  Modifier and Type Method Description
  
  static void init()
  
  void test1()
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

solver
```
public static ASPSolver solver
```

mpm

public static PmInconsistencyMeasure mpm

msd

public static SdInconsistencyMeasure msd

Constructor Detail
- AspInconsistencyMeasureTest
```
public AspInconsistencyMeasureTest()
```

Method Detail

init
```
public static void init()
```

test1

public void test1()
           throws SolverException

Throws:: SolverException