Package com.semedy.reasoner.reasoning

Class TestAllRam

java.lang.Object

com.semedy.reasoner.reasoning.AbstractTestTemplate

com.semedy.reasoner.reasoning.TestAllRam

public class TestAllRam
extends AbstractTestTemplate

Constructor Summary

Constructors

Constructor	Description
TestAllRam()

Method Summary

Modifier and Type	Method	Description
void	testAAA()
void	testBUFunctions()
void	testBUNegation0()
void	testBUNegation1a()
void	testBUNegation1b()
void	testBUNegation2()
void	testBURecursion0()
void	testBURecursion1()
void	testBURecursion2()
void	testBURecursionFunctions()
void	testBURecursionNegation0()
void	testBURecursionNegation1()
void	testBURecursionNegation2()
void	testBUSimple0a()
void	testBUSimple0b()
void	testBUSimple0c()
void	testBUSimple1()
void	testBUSimple2()
void	testTD()
void	testTDFunctions()
void	testTDNegation0()
void	testTDNegation1()
void	testTDNegation2()
void	testTDRecursion0()
void	testTDRecursion1()
void	testTDRecursion2()
void	testTDRecursionFunctions()
void	testTDRecursionNegation()

Methods inherited from class com.semedy.reasoner.reasoning.AbstractTestTemplate

deleteDir, eval, eval, eval, eval, eval, evalAndWaitForSearchIndexes, evalWithoutResults, setUp, tearDown, testAllFiles, testFile, testWithSearchIndex

Methods inherited from class java.lang.Object

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

Constructor Details

TestAllRam

public TestAllRam()

Method Details

testAAA

public void testAAA()
             throws Exception

Throws:

Exception

testBUSimple0a

public void testBUSimple0a()
                    throws Exception

Throws:

Exception

testBUSimple0b

public void testBUSimple0b()
                    throws Exception

Throws:

Exception

testBUSimple0c

public void testBUSimple0c()
                    throws Exception

Throws:

Exception

testBUSimple1

public void testBUSimple1()
                   throws Exception

Throws:

Exception

testBUSimple2

public void testBUSimple2()
                   throws Exception

Throws:

Exception

testBUFunctions

public void testBUFunctions()
                     throws Exception

Throws:

Exception

testBUNegation0

public void testBUNegation0()
                     throws Exception

Throws:

Exception

testBUNegation1a

public void testBUNegation1a()
                      throws Exception

Throws:

Exception

testBUNegation1b

public void testBUNegation1b()
                      throws Exception

Throws:

Exception

testBUNegation2

public void testBUNegation2()
                     throws Exception

Throws:

Exception

testBURecursionFunctions

public void testBURecursionFunctions()
                              throws Exception

Throws:

Exception

testBURecursionNegation0

public void testBURecursionNegation0()
                              throws Exception

Throws:

Exception

testBURecursionNegation1

public void testBURecursionNegation1()
                              throws Exception

Throws:

Exception

testBURecursionNegation2

public void testBURecursionNegation2()
                              throws Exception

Throws:

Exception

testBURecursion0

public void testBURecursion0()
                      throws Exception

Throws:

Exception

testBURecursion1

public void testBURecursion1()
                      throws Exception

Throws:

Exception

testBURecursion2

public void testBURecursion2()
                      throws Exception

Throws:

Exception

testTD

public void testTD()
            throws Exception

Throws:

Exception

testTDFunctions

public void testTDFunctions()
                     throws Exception

Throws:

Exception

testTDNegation0

public void testTDNegation0()
                     throws Exception

Throws:

Exception

testTDNegation1

public void testTDNegation1()
                     throws Exception

Throws:

Exception

testTDNegation2

public void testTDNegation2()
                     throws Exception

Throws:

Exception

testTDRecursionFunctions

public void testTDRecursionFunctions()
                              throws Exception

Throws:

Exception

testTDRecursionNegation

public void testTDRecursionNegation()
                             throws Exception

Throws:

Exception

testTDRecursion0

public void testTDRecursion0()
                      throws Exception

Throws:

Exception

testTDRecursion1

public void testTDRecursion1()
                      throws Exception

Throws:

Exception

testTDRecursion2

public void testTDRecursion2()
                      throws Exception

Throws:

Exception