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	inconsistency measurer
static SdInconsistencyMeasure	msd	inconsistency measurer
static ASPSolver	solver	solver

Constructor Summary

Constructors

Constructor	Description
AspInconsistencyMeasureTest()

Method Summary

Modifier and Type	Method	Description
static void	init()	initializes values
void	test1()	example

Methods inherited from class java.lang.Object

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

Field Details

solver

public static ASPSolver solver

solver

mpm

public static PmInconsistencyMeasure mpm

inconsistency measurer

msd

public static SdInconsistencyMeasure msd

inconsistency measurer

Constructor Details

AspInconsistencyMeasureTest

public AspInconsistencyMeasureTest()

Method Details

init

public static void init()

initializes values

test1

public void test1()
           throws SolverException

example

Throws:

SolverException - a solver exception