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.
|
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
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()