|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object junit.framework.Assert junit.framework.TestCase org.sat4j.minisat.AbstractAcceptanceTestCase<T> org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest<org.sat4j.pb.IPBSolver> org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
public abstract class AbstractEZPseudoBooleanAndPigeonHoleTest
Field Summary |
---|
Fields inherited from class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest |
---|
PREFIX |
Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase |
---|
reader, solver |
Constructor Summary | |
---|---|
AbstractEZPseudoBooleanAndPigeonHoleTest(String arg)
Cr? |
Method Summary | |
---|---|
protected org.sat4j.reader.Reader |
createInstanceReader(org.sat4j.pb.IPBSolver solver)
|
protected void |
tearDown()
|
void |
testn9symml()
|
void |
testnb1()
|
void |
testnC17()
|
void |
testnC432()
|
void |
testnc8()
|
void |
testncc()
|
void |
testncirc43()
|
void |
testncirc63()
|
void |
testncirc83()
|
void |
testncm42a()
|
void |
testncmb()
|
void |
testndata43()
|
void |
testndata63()
|
void |
testndata83()
|
void |
testnmux()
|
void |
testnmyadder()
|
Methods inherited from class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest |
---|
testPN34, testPN4, testPN45, testPN5, testPN56, testPN6, testPN67, testPN7, testPN78, testPN8, testPN89, testPN9, testPN910 |
Methods inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase |
---|
createSolver, setUp, solveInstance |
Methods inherited from class junit.framework.TestCase |
---|
countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString |
Methods inherited from class junit.framework.Assert |
---|
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public AbstractEZPseudoBooleanAndPigeonHoleTest(String arg)
arg
- argument ?ventuelMethod Detail |
---|
protected org.sat4j.reader.Reader createInstanceReader(org.sat4j.pb.IPBSolver solver)
createInstanceReader
in class AbstractAcceptanceTestCase<org.sat4j.pb.IPBSolver>
protected void tearDown()
tearDown
in class AbstractAcceptanceTestCase<org.sat4j.pb.IPBSolver>
public void testncirc43() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testncirc63() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testncirc83() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testndata43() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testndata63() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testndata83() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testn9symml() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testnC17() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testnC432() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testnb1() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testnc8() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testncc() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testncm42a() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testncmb() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testnmux() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
public void testnmyadder() throws FileNotFoundException, IOException, org.sat4j.reader.ParseFormatException
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |