PropagateConstraintsRewriterTest

java.lang.Object

com.semedy.reasoner.rewriter.AbstractRewriterTest

com.semedy.reasoner.rewriter.PropagateConstraintsRewriterTest

public class PropagateConstraintsRewriterTest extends AbstractRewriterTest

Author:: Angele

Constructor Summary

Constructors

Constructor

Description

PropagateConstraintsRewriterTest()
Method Summary

Modifier and Type

Method

Description

void

test1()

void

test2()

void

test3()

void

test4()

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
- PropagateConstraintsRewriterTest
  
  public PropagateConstraintsRewriterTest()
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