public class CspInconsistencyMeasureTest
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private double |
accuracy |
private CspInconsistencyMeasure<PropositionalFormula> |
m |
Constructor and Description |
---|
CspInconsistencyMeasureTest() |
private CspInconsistencyMeasure<PropositionalFormula> m
private double accuracy
public void setUp()
public void test1() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void test2() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void test3() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void test4() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void test5() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void test6() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void test7() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void test8() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void test9() throws ParserException, java.io.IOException
ParserException
java.io.IOException