Package edu.jas.gbufd

Class WordPseudoReductionTest

  • All Implemented Interfaces:
    junit.framework.Test

    public class WordPseudoReductionTest
    extends junit.framework.TestCase
    Word reduction tests with JUnit.
    Author:
    Heinz Kredel
    • Constructor Summary

      Constructors 
      Constructor Description
      WordPseudoReductionTest​(java.lang.String name)
      Constructs a WordPseudoReductionTest 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 rational coefficient reduction.
      void testIntReduction0()
      Test constants and empty list reduction.
      void testIntReductionRecording()
      Test rational coefficient reduction with recording.
      void testIntSpolynomial()
      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

      • WordPseudoReductionTest

        public WordPseudoReductionTest​(java.lang.String name)
        Constructs a WordPseudoReductionTest 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
      • testIntReduction0

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

        public void testIntReduction()
        Test rational coefficient reduction.