HeapTest (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.core
Class HeapTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          org.sat4j.minisat.core.HeapTest

All Implemented Interfaces:: junit.framework.Test

public class HeapTest
extends junit.framework.TestCase
extends junit.framework.TestCase

Constructor Summary
`HeapTest()`

Method Summary
`void`	`testEmpty()`
`void`	`testGetmin()`
`void`	`testHeapProperty()`
`void`	`testHeapPropertyInt()`
`void`	`testIncrease()`
`void`	`testInHeap()`
`void`	`testInsert()`
`void`	`testSetBounds()`

Methods inherited from class junit.framework.TestCase
`countTestCases, createResult, getName, run, run, runBare, runTest, setName, setUp, 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

HeapTest

public HeapTest()

Method Detail

testSetBounds

public void testSetBounds()

testInHeap

public void testInHeap()

testIncrease

public void testIncrease()

testEmpty

public void testEmpty()

testInsert

public void testInsert()

testGetmin

public void testGetmin()

testHeapProperty

public void testHeapProperty()

testHeapPropertyInt

public void testHeapPropertyInt()