public class WordReductionTest extends junit.framework.TestCase
Constructor and Description |
---|
WordReductionTest(java.lang.String name)
Constructs a
WordReductionTest object. |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args)
main
|
protected void |
setUp() |
static junit.framework.Test |
suite()
suite.
|
protected void |
tearDown() |
void |
testRatReduction()
Test rational coefficient reduction.
|
void |
testRatReduction0()
Test constants and empty list reduction.
|
void |
testRatReductionRecording()
Test rational coefficient reduction with recording.
|
void |
testRatSpolynomial()
Test rational S-polynomial.
|
countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString
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
public WordReductionTest(java.lang.String name)
WordReductionTest
object.name
- Stringpublic static void main(java.lang.String[] args)
public static junit.framework.Test suite()
protected void setUp()
setUp
in class junit.framework.TestCase
protected void tearDown()
tearDown
in class junit.framework.TestCase
public void testRatReduction0()
public void testRatReduction()
public void testRatReductionRecording()
public void testRatSpolynomial()