Package org.tweetyproject.lp.asp.analysis

Class AspInconsistencyMeasureTest

java.lang.Object

org.tweetyproject.lp.asp.analysis.AspInconsistencyMeasureTest

public class AspInconsistencyMeasureTest
extends 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

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

Field Details

solver

public static ASPSolver solver

mpm

public static PmInconsistencyMeasure mpm

msd

public static SdInconsistencyMeasure msd

Constructor Details

AspInconsistencyMeasureTest

public AspInconsistencyMeasureTest()

Method Details

init

public static void init()

test1

public void test1()
           throws SolverException

Throws:

SolverException