Package edu.jas.gbufd
Class WordPseudoReductionTest
- java.lang.Object
-
- junit.framework.Assert
-
- junit.framework.TestCase
-
- edu.jas.gbufd.WordPseudoReductionTest
-
- All Implemented Interfaces:
junit.framework.Test
public class WordPseudoReductionTest extends junit.framework.TestCase
Word reduction tests with JUnit.- Author:
- Heinz Kredel
-
-
Constructor Summary
Constructors Constructor Description WordPseudoReductionTest(java.lang.String name)
Constructs aWordPseudoReductionTest
object.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static void
main(java.lang.String[] args)
mainprotected void
setUp()
static junit.framework.Test
suite()
suite.protected void
tearDown()
void
testIntReduction()
Test rational coefficient reduction.void
testIntReduction0()
Test constants and empty list reduction.void
testIntReductionRecording()
Test rational coefficient reduction with recording.void
testIntSpolynomial()
Test rational S-polynomial.-
Methods inherited from class junit.framework.TestCase
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, countTestCases, createResult, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, runTest, setName, toString
-
-
-
-
Constructor Detail
-
WordPseudoReductionTest
public WordPseudoReductionTest(java.lang.String name)
Constructs aWordPseudoReductionTest
object.- Parameters:
name
- String
-
-
Method Detail
-
main
public static void main(java.lang.String[] args)
main
-
suite
public static junit.framework.Test suite()
suite.- Returns:
- a test suite.
-
setUp
protected void setUp()
- Overrides:
setUp
in classjunit.framework.TestCase
-
tearDown
protected void tearDown()
- Overrides:
tearDown
in classjunit.framework.TestCase
-
testIntReduction0
public void testIntReduction0()
Test constants and empty list reduction.
-
testIntReduction
public void testIntReduction()
Test rational coefficient reduction.
-
testIntReductionRecording
public void testIntReductionRecording()
Test rational coefficient reduction with recording.
-
testIntSpolynomial
public void testIntSpolynomial()
Test rational S-polynomial.
-
-