Package edu.jas.gb

Class WordReductionTest

  • All Implemented Interfaces:
    junit.framework.Test
    public class WordReductionTest
extends junit.framework.TestCase
    Word reduction tests with JUnit.
    Author:
    Heinz Kredel

    • Constructor Summary

      Constructors 
      Constructor Description
      WordReductionTest​(java.lang.String name)
      Constructs a WordReductionTest 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 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.

      • 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

      • WordReductionTest

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

    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
        main

      • suite

        public static junit.framework.Test suite()
        suite.
        Returns:
        a test suite.

      • setUp

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

      • tearDown

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

      • testRatReduction0

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

      • testRatReduction

        public void testRatReduction()
        Test rational coefficient reduction.