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 and Description
static PmInconsistencyMeasure	mpm
static SdInconsistencyMeasure	msd
static Solver	solver

Constructor Summary

Constructors

Constructor and Description
AspInconsistencyMeasureTest()

Method Summary

Modifier and Type	Method and 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 Solver 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