org.sat4j.core
Class VecTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          org.sat4j.core.VecTest

All Implemented Interfaces:

junit.framework.Test

public class VecTest
extends junit.framework.TestCase

Author:

leberre

Constructor Summary

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

Method Summary

protected void	setUp()
protected void	tearDown()
void	testClear()
void	testCopyTo()
void	testDelete()
void	testEquals()
void	testGet()
void	testGrowToint()
void	testGrowTointObject()
void	testIterator()
void	testLast()
void	testMoveTo()
void	testNoSuchElementException()
void	testPop()
void	testPush()
void	testPushObject()
void	testSelectionSort()
void	testShrink()
void	testShrinkTo()
void	testSize()
void	testSort()
void	testSortEmpty()
void	testSortUnique()
void	testVec()
void	testVecint()
void	testVecintObject()

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, 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

VecTest

public VecTest(java.lang.String arg0)

Constructor for VecTest.

Parameters:

arg0 -

Method Detail

setUp

protected void setUp()
              throws java.lang.Exception

Overrides:

setUp in class junit.framework.TestCase

Throws:

java.lang.Exception

tearDown

protected void tearDown()
                 throws java.lang.Exception

Overrides:

tearDown in class junit.framework.TestCase

Throws:

java.lang.Exception

testVec

public void testVec()

testVecint

public void testVecint()

testVecintObject

public void testVecintObject()

testSize

public void testSize()

testShrink

public void testShrink()

testShrinkTo

public void testShrinkTo()

testPop

public void testPop()

testGrowToint

public void testGrowToint()

testGrowTointObject

public void testGrowTointObject()

testPush

public void testPush()

testPushObject

public void testPushObject()

testClear

public void testClear()

testLast

public void testLast()

testGet

public void testGet()

testCopyTo

public void testCopyTo()

testMoveTo

public void testMoveTo()

testSelectionSort

public void testSelectionSort()

testSort

public void testSort()

testSortEmpty

public void testSortEmpty()

testSortUnique

public void testSortUnique()

testDelete

public void testDelete()

testEquals

public void testEquals()

testIterator

public void testIterator()

testNoSuchElementException

public void testNoSuchElementException()