Package com.semedy.reasoner.symboltable

Class TestSymbolTableShort

java.lang.Object
com.semedy.reasoner.symboltable.TestSymbolTableShort
public class TestSymbolTableShort extends Object

  • Constructor Details

    • TestSymbolTableShort

      public TestSymbolTableShort()

  • Method Details

    • setUp

      public void setUp() throws Exception
      Throws:
      Exception

    • tearDown

      public void tearDown() throws Exception
      Throws:
      Exception

    • testBasicsa

      public void testBasicsa() throws Exception
      Throws:
      Exception

    • testCloseAndRestart1

      public void testCloseAndRestart1() throws Exception
      Throws:
      Exception

    • testCloseAndRestart2

      public void testCloseAndRestart2() throws Exception
      Throws:
      Exception

    • testBasicsb

      public void testBasicsb() throws Exception
      Throws:
      Exception

    • testBasicsc

      public void testBasicsc() throws Exception
      Throws:
      Exception

    • testBasicsg

      public void testBasicsg() throws Exception
      Throws:
      Exception

    • testBasicsh

      public void testBasicsh() throws Exception
      Throws:
      Exception

    • testBasicsi

      public void testBasicsi() throws Exception
      Throws:
      Exception

    • testBasicsd

      public void testBasicsd() throws Exception
      Throws:
      Exception

    • testBasicse

      public void testBasicse() throws Exception
      Throws:
      Exception

    • testBasicsf

      public void testBasicsf() throws Exception
      Throws:
      Exception

    • testMatchSubstitute1

      public void testMatchSubstitute1() throws Exception
      Throws:
      Exception

    • testMatch1a

      public void testMatch1a() throws Exception
      Throws:
      Exception

    • testMatch1b

      public void testMatch1b() throws Exception
      Throws:
      Exception

    • testMatch2

      public void testMatch2() throws Exception
      Throws:
      Exception

    • testMatch2b

      public void testMatch2b() throws Exception
      Throws:
      Exception

    • testMatchNonGroundFunction

      public void testMatchNonGroundFunction() throws Exception
      Throws:
      Exception

    • testTwoSymbotables1

      public void testTwoSymbotables1() throws Exception
      Throws:
      Exception

    • testTwoSymbotables2

      public void testTwoSymbotables2() throws Exception
      Throws:
      Exception

    • testUnifyVariable

      public void testUnifyVariable() throws Exception
      Throws:
      Exception

    • testUnifyNonGroundFunction2

      public void testUnifyNonGroundFunction2() throws Exception
      Throws:
      Exception

    • testUnifyFunctionGroundFunction

      public void testUnifyFunctionGroundFunction() throws Exception
      Throws:
      Exception

    • testUnifyFunctionFunctionEquivalentVariables1

      public void testUnifyFunctionFunctionEquivalentVariables1() throws Exception
      Throws:
      Exception

    • testUnifyFunctionFunctionEquivalentVariables2

      public void testUnifyFunctionFunctionEquivalentVariables2() throws Exception
      Throws:
      Exception

    • testUnifyFunctionFunctionEquivalentVariables3

      public void testUnifyFunctionFunctionEquivalentVariables3() throws Exception
      Throws:
      Exception

    • testUnifyFunctionFunctionEquivalentVariables4

      public void testUnifyFunctionFunctionEquivalentVariables4() throws Exception
      Throws:
      Exception

    • testUnifyVariableVariable

      public void testUnifyVariableVariable() throws Exception
      Throws:
      Exception

    • testUnifyLiterals1

      public void testUnifyLiterals1() throws Exception
      Throws:
      Exception

    • testUnifyLiterals2

      public void testUnifyLiterals2() throws Exception
      Throws:
      Exception

    • testUnifyLiterals3

      public void testUnifyLiterals3() throws Exception
      Throws:
      Exception

    • testUnifyLiterals4

      public void testUnifyLiterals4() throws Exception
      Throws:
      Exception

    • testIteratorSimple

      public void testIteratorSimple() throws Exception
      Throws:
      Exception

    • testIteratorRam

      public void testIteratorRam() throws Exception
      Throws:
      Exception

    • testIteratorPersistentSmall

      public void testIteratorPersistentSmall() throws Exception
      Throws:
      Exception