Package com.semedy.reasoner.rewriter

Class UnfolderTest

java.lang.Object

com.semedy.reasoner.rewriter.AbstractRewriterTest

com.semedy.reasoner.rewriter.UnfolderTest

public class UnfolderTest
extends AbstractRewriterTest

Author:

angele

Constructor Summary

Constructors

Constructor	Description
UnfolderTest()

Method Summary

Modifier and Type	Method	Description
void	test1()
void	test10()
void	test11()
void	test14()
void	test15()
void	test18()
void	test2()
void	test20()
void	test22()
void	test23()
void	test24()
void	test25()
void	test26()
void	test27()
void	test28()
void	test29()
void	test3()
void	test30()
void	test31()
void	test32()
void	test33()
void	test34()
void	test35()
void	test4()
void	test5()
void	test6()
void	test7()
void	test8()

Methods inherited from class com.semedy.reasoner.rewriter.AbstractRewriterTest

setUp, tearDown

Methods inherited from class java.lang.Object

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

Constructor Details

UnfolderTest

public UnfolderTest()

Method Details

test1

public void test1()
           throws Exception

Throws:

Exception

test2

public void test2()
           throws Exception

Throws:

Exception

test3

public void test3()
           throws Exception

Throws:

Exception

test4

public void test4()
           throws Exception

Throws:

Exception

test5

public void test5()
           throws Exception

Throws:

Exception

test6

public void test6()
           throws Exception

Throws:

Exception

test7

public void test7()
           throws Exception

Throws:

Exception

test8

public void test8()
           throws Exception

Throws:

Exception

test10

public void test10()
            throws Exception

Throws:

Exception

test11

public void test11()
            throws Exception

Throws:

Exception

test14

public void test14()
            throws Exception

Throws:

Exception

test15

public void test15()
            throws Exception

Throws:

Exception

test18

public void test18()
            throws Exception

Throws:

Exception

test20

public void test20()
            throws Exception

Throws:

Exception

test22

public void test22()
            throws Exception

Throws:

Exception

test23

public void test23()
            throws Exception

Throws:

Exception

test24

public void test24()
            throws Exception

Throws:

Exception

test25

public void test25()
            throws Exception

Throws:

Exception

test26

public void test26()
            throws Exception

Throws:

Exception

test27

public void test27()
            throws Exception

Throws:

Exception

test28

public void test28()
            throws Exception

Throws:

Exception

test29

public void test29()
            throws Exception

Throws:

Exception

test30

public void test30()
            throws Exception

Throws:

Exception

test31

public void test31()
            throws Exception

Throws:

Exception

test32

public void test32()
            throws Exception

Throws:

Exception

test33

public void test33()
            throws Exception

Throws:

Exception

test34

public void test34()
            throws Exception

Throws:

Exception

test35

public void test35()
            throws Exception

Throws:

Exception