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 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

    • Constructor Detail

      • SolvablePseudoReductionTest

        public SolvablePseudoReductionTest​(java.lang.String name)
        Constructs a SolvablePseudoReductionTest 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 class junit.framework.TestCase

      • tearDown

        protected void tearDown()
        Overrides:
        tearDown in class junit.framework.TestCase

      • testIntReduction0

        public void testIntReduction0()
        Test constants and empty list reduction.