SolvablePseudoReductionTest

java.lang.Object
- junit.framework.Assert
- - junit.framework.TestCase
  - - edu.jas.gbufd.SolvablePseudoReductionTest

Constructors
Constructor and Description
`SolvablePseudoReductionTest(java.lang.String name)` Constructs a `SolvablePseudoReductionTest` object.

All Methods Static Methods Instance Methods Concrete Methods
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`	`testIntReduction()` Test Int reduction.
`void`	`testIntReduction0()` Test constants and empty list reduction.
`void`	`testIntReductionRecording()` Test Int reduction recording.
`void`	`testWeylIntReduction()` Test Weyl Integer reduction.
`void`	`testWeylIntReduction0()` 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

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Class SolvablePseudoReductionTest