edu.toronto.cs.modelchecker
Class CTLWeakUntilExpander

java.lang.Object
  extended by edu.toronto.cs.ctl.AbstractCTLVisitor
      extended by edu.toronto.cs.modelchecker.CloningRewriter
          extended by edu.toronto.cs.modelchecker.CTLWeakUntilExpander
All Implemented Interfaces:
CTLVisitor, CTLReWriter

public class CTLWeakUntilExpander
extends CloningRewriter


Constructor Summary
CTLWeakUntilExpander()
           
 
Method Summary
 java.lang.Object visitAWNode(CTLAWNode node, java.lang.Object o)
           
 java.lang.Object visitEWNode(CTLEWNode node, java.lang.Object o)
           
 
Methods inherited from class edu.toronto.cs.modelchecker.CloningRewriter
rewrite, visitAFNode, visitAGNode, visitAndNode, visitARNode, visitAUiNode, visitAUNode, visitAXNode, visitEFNode, visitEGNode, visitEqualsNode, visitERNode, visitEUiNode, visitEUNode, visitEXNode, visitIffNode, visitImplNode, visitLeafNode, visitNegNode, visitOrNode, visitOverNode, visitPlaceholderNode, visitPreEXNode, visitUnderNode
 
Methods inherited from class edu.toronto.cs.ctl.AbstractCTLVisitor
visit, visitAbstractNode, visitAtomPropNode, visitBinaryNode, visitConstantNode, visitCTLNode, visitMvSetNode, visitNode, visitUnaryNode
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CTLWeakUntilExpander

public CTLWeakUntilExpander()
Method Detail

visitEWNode

public java.lang.Object visitEWNode(CTLEWNode node,
                                    java.lang.Object o)
Specified by:
visitEWNode in interface CTLVisitor
Overrides:
visitEWNode in class CloningRewriter

visitAWNode

public java.lang.Object visitAWNode(CTLAWNode node,
                                    java.lang.Object o)
Specified by:
visitAWNode in interface CTLVisitor
Overrides:
visitAWNode in class CloningRewriter