net.sf.tweety.logics.pl.test

Class CspInconsistencyMeasureTest

java.lang.Object

net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest

public class CspInconsistencyMeasureTest
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private double	accuracy
private CspInconsistencyMeasure<PropositionalFormula>	m

Constructor Summary

Constructors

Constructor and Description
CspInconsistencyMeasureTest()

Method Summary

Modifier and Type	Method and Description
void	setUp()
void	test1()
void	test2()
void	test3()
void	test4()
void	test5()
void	test6()
void	test7()
void	test8()
void	test9()

Methods inherited from class java.lang.Object

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

Field Detail

m

private CspInconsistencyMeasure<PropositionalFormula> m

accuracy

private double accuracy

Constructor Detail

CspInconsistencyMeasureTest

public CspInconsistencyMeasureTest()

Method Detail

setUp

public void setUp()

test1

public void test1()
           throws ParserException,
                  java.io.IOException

Throws:

ParserException

java.io.IOException

test2

public void test2()
           throws ParserException,
                  java.io.IOException

Throws:

ParserException

java.io.IOException

test3

public void test3()
           throws ParserException,
                  java.io.IOException

Throws:

ParserException

java.io.IOException

test4

public void test4()
           throws ParserException,
                  java.io.IOException

Throws:

ParserException

java.io.IOException

test5

public void test5()
           throws ParserException,
                  java.io.IOException

Throws:

ParserException

java.io.IOException

test6

public void test6()
           throws ParserException,
                  java.io.IOException

Throws:

ParserException

java.io.IOException

test7

public void test7()
           throws ParserException,
                  java.io.IOException

Throws:

ParserException

java.io.IOException

test8

public void test8()
           throws ParserException,
                  java.io.IOException

Throws:

ParserException

java.io.IOException

test9

public void test9()
           throws ParserException,
                  java.io.IOException

Throws:

ParserException

java.io.IOException