Package com.semedy.reasoner.symboltable

Class TestSymbolTableBplus

java.lang.Object

com.semedy.reasoner.symboltable.TestSymbolTableBplus

public class TestSymbolTableBplus
extends Object

Constructor Summary

Constructors

Constructor	Description
TestSymbolTableBplus()

Method Summary

Modifier and Type	Method	Description
void	setUp()
void	tearDown()
void	testBackupStrings()
void	testBasicsa()
void	testBasicsb()
void	testBasicsc()
void	testBasicsd()
void	testBasicse()
void	testBasicsf()
void	testBasicsg()
void	testBasicsh()
void	testBasicsi()
void	testCloseAndRestart1()
void	testCloseAndRestart2()
void	testCR()
void	testCRa()
void	testDate()
void	testEmptySymboltable()
void	testEscaping()
void	testInitialSymbols()
void	testIteratorPersistent()
void	testLongString()
void	testLongString1()
void	testMatch1a()
void	testMatch1aa()
void	testMatch1ab()
void	testMatch1b()
void	testMatch2()
void	testMatch2b()
void	testMatchNonGroundFunction()
void	testMatchSubstitute1()
void	testSameSymbols()
void	testSizeSymbols0()
void	testSizeSymbols1()
void	testSizeSymbols2()
void	testSizeSymbols3()
void	testStrings()
void	testTwoSymbotables2()
void	testUnifyFunctionFunctionEquivalentVariables1()
void	testUnifyFunctionFunctionEquivalentVariables2()
void	testUnifyFunctionFunctionEquivalentVariables3()
void	testUnifyFunctionFunctionEquivalentVariables4()
void	testUnifyFunctionGroundFunction()
void	testUnifyLiterals1()
void	testUnifyLiterals2()
void	testUnifyLiterals3()
void	testUnifyLiterals4()
void	testUnifyNonGroundFunction2()
void	testUnifyVariable()
void	testUnifyVariableVariable()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TestSymbolTableBplus

public TestSymbolTableBplus()

Method Details

testDate

public void testDate()
              throws Exception

Throws:

Exception

setUp

public void setUp()
           throws Exception

Throws:

Exception

tearDown

public void tearDown()
              throws Exception

Throws:

Exception

testLongString

public void testLongString()
                    throws Exception

Throws:

Exception

testStrings

public void testStrings()
                 throws Exception

Throws:

Exception

testLongString1

public void testLongString1()
                     throws Exception

Throws:

Exception

testCR

public void testCR()
            throws Exception

Throws:

Exception

testEscaping

public void testEscaping()
                  throws Exception

Throws:

Exception

testCRa

public void testCRa()
             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

testMatch1ab

public void testMatch1ab()
                  throws Exception

Throws:

Exception

testMatch1aa

public void testMatch1aa()
                  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

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

testIteratorPersistent

public void testIteratorPersistent()
                            throws Exception

Throws:

Exception

testBackupStrings

public void testBackupStrings()
                       throws Exception

Throws:

Exception

testEmptySymboltable

public void testEmptySymboltable()
                          throws Exception

Throws:

Exception

testSameSymbols

public void testSameSymbols()
                     throws Exception

Throws:

Exception

testInitialSymbols

public void testInitialSymbols()
                        throws Exception

Throws:

Exception

testSizeSymbols0

public void testSizeSymbols0()
                      throws Exception

Throws:

Exception

testSizeSymbols1

public void testSizeSymbols1()
                      throws Exception

Throws:

Exception

testSizeSymbols2

public void testSizeSymbols2()
                      throws Exception

Throws:

Exception

testSizeSymbols3

public void testSizeSymbols3()
                      throws Exception

Throws:

Exception