edu.toronto.cs.modelchecker
Class CTLUntilExpander

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

public class CTLUntilExpander
extends CloningRewriter


Constructor Summary
CTLUntilExpander(MvSet _top)
           
 
Method Summary
 java.lang.Object visitAFNode(CTLAFNode node, java.lang.Object o)
           
 java.lang.Object visitEFNode(CTLEFNode node, java.lang.Object o)
           
 java.lang.Object visitIffNode(CTLIffNode node, java.lang.Object o)
           
 java.lang.Object visitImplNode(CTLImplNode node, java.lang.Object o)
           
 
Methods inherited from class edu.toronto.cs.modelchecker.CloningRewriter
rewrite, visitAGNode, visitAndNode, visitARNode, visitAUiNode, visitAUNode, visitAWNode, visitAXNode, visitEGNode, visitEqualsNode, visitERNode, visitEUiNode, visitEUNode, visitEWNode, visitEXNode, 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

CTLUntilExpander

public CTLUntilExpander(MvSet _top)
Method Detail

visitEFNode

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

visitAFNode

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

visitIffNode

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

visitImplNode

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