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

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 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()