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

Constructors

Constructor and Description
QueueTest(String arg0) Constructor for QueueTest.

Method Summary

Methods

Modifier and Type	Method and Description
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(String arg0)

Constructor for QueueTest.

Parameters:

arg0 -

Method Detail

setUp

protected void setUp()
              throws Exception

Overrides:

setUp in class junit.framework.TestCase

Throws:

Exception

testInsert

public void testInsert()

testDequeue

public void testDequeue()

testClear

public void testClear()

testSize

public void testSize()