VarOrderTest (SAT4J core 2.1.0 Test API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.sat4j.minisat
Class VarOrderTest

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

All Implemented Interfaces:: junit.framework.Test

public class VarOrderTest
extends junit.framework.TestCase
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 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 java.lang.Exception

Overrides:: setUp in class junit.framework.TestCase

Throws:: java.lang.Exception