Package edu.jas.gbufd

Class 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 a SolvablePseudoReductionTest object.

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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 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

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • SolvablePseudoReductionTest

        public SolvablePseudoReductionTest​(java.lang.String name)
        Constructs a SolvablePseudoReductionTest object.
        Parameters:
        name - String.