|
||||||||||
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.VarOrderTest
public class VarOrderTest
Constructor Summary | |
---|---|
VarOrderTest()
|
Method Summary | |
---|---|
protected void |
setUp()
|
void |
testGetVocabulary()
|
void |
testNewVar()
|
void |
testNewVarint()
|
void |
testNumberOfInterestingVariables()
|
void |
testSelect()
|
void |
testSetVarDecay()
|
void |
testUndo()
|
void |
testUpdateVar()
|
void |
testVarDecayActivity()
|
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 VarOrderTest()
Method Detail |
---|
public void testNewVar()
public void testNewVarint()
public void testSelect()
public void testSetVarDecay()
public void testUndo()
public void testUpdateVar()
public void testVarDecayActivity()
public void testNumberOfInterestingVariables()
public void testGetVocabulary()
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 |