org.sat4j.minisat.core
Class QueueTest

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

All Implemented Interfaces:

junit.framework.Test

public class QueueTest
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

QueueTest(java.lang.String arg0)
Constructor for QueueTest.

Method Summary

protected void	setUp()
void	testClear()
void	testDequeue()
void	testInsert()
void	testSize()

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

QueueTest

public QueueTest(java.lang.String arg0)

Constructor for QueueTest.

Parameters:

arg0 -

Method Detail

setUp

protected void setUp()
              throws java.lang.Exception

Overrides:

setUp in class junit.framework.TestCase

Throws:

java.lang.Exception

testInsert

public void testInsert()

testDequeue

public void testDequeue()

testClear

public void testClear()

testSize

public void testSize()