VarOrderTest (SAT4J core 2.3.3 Test API)

java.lang.Object
- junit.framework.Assert
- - junit.framework.TestCase
  - - org.sat4j.minisat.VarOrderTest

Constructors
Constructor and Description
`VarOrderTest()`

Methods
Modifier and Type	Method and Description
`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

public void testNumberOfInterestingVariables()

Class VarOrderTest