org.sat4j.minisat
Class VarOrderTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.sat4j.minisat.VarOrderTest
All Implemented Interfaces:
junit.framework.Test

public class VarOrderTest
extends junit.framework.TestCase

Author:
leberre To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

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

VarOrderTest

public VarOrderTest()
Method Detail

testNewVar

public void testNewVar()

testNewVarint

public void testNewVarint()

testSelect

public void testSelect()

testSetVarDecay

public void testSetVarDecay()

testUndo

public void testUndo()

testUpdateVar

public void testUpdateVar()

testVarDecayActivity

public void testVarDecayActivity()

testNumberOfInterestingVariables

public void testNumberOfInterestingVariables()

testGetVocabulary

public void testGetVocabulary()

setUp

protected void setUp()
              throws Exception
Overrides:
setUp in class junit.framework.TestCase
Throws:
Exception


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.