Package edu.jas.gbufd
Class SolvablePseudoReductionTest
- java.lang.Object
-
- junit.framework.Assert
-
- junit.framework.TestCase
-
- edu.jas.gbufd.SolvablePseudoReductionTest
-
- All Implemented Interfaces:
junit.framework.Test
public class SolvablePseudoReductionTest extends junit.framework.TestCase
Solvable Reduction tests with JUnit.- Author:
- Heinz Kredel
-
-
Constructor Summary
Constructors Constructor Description SolvablePseudoReductionTest(java.lang.String name)
Constructs aSolvablePseudoReductionTest
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 Int reduction.void
testIntReduction0()
Test constants and empty list reduction.void
testIntReductionRecording()
Test Int reduction recording.void
testIntRightReduction()
Right test Int reduction.void
testIntRightReduction0()
Right test constants and empty list reduction.void
testIntRightReductionRecording()
Right test Int reduction recording.void
testWeylIntReduction()
Test Weyl Integer reduction.void
testWeylIntReduction0()
Test constants and empty list reduction.void
testWeylIntRightReduction()
Right test Weyl Integer reduction.void
testWeylIntRightReduction0()
Right test constants and empty list reduction.-
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
-
SolvablePseudoReductionTest
public SolvablePseudoReductionTest(java.lang.String name)
Constructs aSolvablePseudoReductionTest
object.- Parameters:
name
- String.
-
-
Method Detail
-
main
public static void main(java.lang.String[] args)
main
-
suite
public static junit.framework.Test suite()
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.
-
testWeylIntReduction0
public void testWeylIntReduction0()
Test constants and empty list reduction.
-
testIntReduction
public void testIntReduction()
Test Int reduction.
-
testWeylIntReduction
public void testWeylIntReduction()
Test Weyl Integer reduction.
-
testIntReductionRecording
public void testIntReductionRecording()
Test Int reduction recording.
-
testIntRightReduction0
public void testIntRightReduction0()
Right test constants and empty list reduction.
-
testWeylIntRightReduction0
public void testWeylIntRightReduction0()
Right test constants and empty list reduction.
-
testIntRightReduction
public void testIntRightReduction()
Right test Int reduction.
-
testWeylIntRightReduction
public void testWeylIntRightReduction()
Right test Weyl Integer reduction.
-
testIntRightReductionRecording
public void testIntRightReductionRecording()
Right test Int reduction recording.
-
-