|
||||||||||
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.core.TestAtMost
public class TestAtMost
Constructor Summary | |
---|---|
TestAtMost(String s)
|
Method Summary | |
---|---|
protected void |
setUp()
|
void |
test2Sat()
|
void |
test3Unsat()
|
void |
test4Unsat()
|
void |
test5Sat()
|
void |
testUnEssaiSat()
|
void |
testUnEssaiUnsat()
|
Methods inherited from class junit.framework.TestCase |
---|
countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, 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 TestAtMost(String s)
Method Detail |
---|
protected void setUp()
setUp
in class junit.framework.TestCase
public void testUnEssaiSat() throws TimeoutException
TimeoutException
public void testUnEssaiUnsat() throws TimeoutException
TimeoutException
public void test2Sat() throws TimeoutException
TimeoutException
public void test4Unsat() throws TimeoutException
TimeoutException
public void test3Unsat() throws TimeoutException
TimeoutException
public void test5Sat() throws TimeoutException
TimeoutException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |