|
||||||||||
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.SingleSolutionTest
public class SingleSolutionTest
Constructor Summary | |
---|---|
SingleSolutionTest(String name)
|
Method Summary | |
---|---|
protected void |
setUp()
|
void |
testHasASingleSolution()
|
void |
testHasASingleSolutionIVecInt()
|
void |
testHasNoSingleSolution()
|
void |
testHasNoSingleSolutionUNSAT()
|
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 SingleSolutionTest(String name)
Method Detail |
---|
protected void setUp() throws Exception
setUp
in class junit.framework.TestCase
Exception
public void testHasASingleSolution() throws ContradictionException, TimeoutException
ContradictionException
TimeoutException
public void testHasNoSingleSolution() throws ContradictionException, TimeoutException
ContradictionException
TimeoutException
public void testHasNoSingleSolutionUNSAT() throws ContradictionException, TimeoutException
ContradictionException
TimeoutException
public void testHasASingleSolutionIVecInt() throws ContradictionException, TimeoutException
ContradictionException
TimeoutException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |