Package com.semedy.reasoner.rewriter

Class PropagateConstantsRewriterTest

java.lang.Object

com.semedy.reasoner.rewriter.AbstractRewriterTest

com.semedy.reasoner.rewriter.PropagateConstantsRewriterTest

public class PropagateConstantsRewriterTest
extends AbstractRewriterTest

Author:

Angele

Constructor Summary

Constructors

Constructor	Description
PropagateConstantsRewriterTest()

Method Summary

Modifier and Type	Method	Description
void	test1()
void	test2()
void	test3()
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

PropagateConstantsRewriterTest

public PropagateConstantsRewriterTest()

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