|
||||||||||
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.TestsFonctionnels
public class TestsFonctionnels
Constructor Summary | |
---|---|
TestsFonctionnels(String arg0)
Constructor for TestsFonctionnels. |
Method Summary | |
---|---|
protected void |
setUp()
|
void |
testBug001()
|
void |
testCommentsInInstance()
|
void |
testIsImplied()
|
void |
testIsImplied3()
|
void |
testRemoveAtLeast()
|
void |
testRemoveConstraints()
|
void |
testSat()
|
void |
testTrivialInconsistentFormula()
|
void |
testTrivialSat()
|
void |
testTrivialSatNewVar()
Deprecated. |
void |
testTrivialUnsat()
|
void |
testUnsat()
|
void |
testWhenNewVarNotCalled()
|
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 TestsFonctionnels(String arg0)
arg0
- Method Detail |
---|
public void testSat()
public void testUnsat() throws TimeoutException
TimeoutException
public void testTrivialUnsat()
public void testTrivialSat() throws TimeoutException
TimeoutException
@Deprecated public void testTrivialSatNewVar() throws TimeoutException
TimeoutException
public void testBug001() throws TimeoutException
TimeoutException
public void testTrivialInconsistentFormula()
public void testCommentsInInstance()
public void testRemoveConstraints() throws TimeoutException
TimeoutException
public void testRemoveAtLeast()
public void testIsImplied()
public void testIsImplied3()
public void testWhenNewVarNotCalled()
protected void setUp() throws Exception
setUp
in class junit.framework.TestCase
Exception
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |