edu.toronto.cs.modelchecker
Class CloningRewriter

java.lang.Object
  extended by edu.toronto.cs.ctl.AbstractCTLVisitor
      extended by edu.toronto.cs.modelchecker.CloningRewriter
All Implemented Interfaces:
CTLVisitor, CTLReWriter
Direct Known Subclasses:
CTLUntilExpander, CTLWeakUntilExpander, ExistentialRewriter, MvSetPlaceholderReWriter, PlaceholderReWriter, SMVModule.DestructivePropertyFiller

public class CloningRewriter
extends AbstractCTLVisitor
implements CTLReWriter


Constructor Summary
CloningRewriter()
           
 
Method Summary
 CTLNode rewrite(CTLNode ctl)
           
 java.lang.Object visitAFNode(CTLAFNode node, java.lang.Object o)
           
 java.lang.Object visitAGNode(CTLAGNode node, java.lang.Object o)
           
 java.lang.Object visitAndNode(CTLAndNode node, java.lang.Object o)
           
 java.lang.Object visitARNode(CTLARNode node, java.lang.Object o)
           
 java.lang.Object visitAUiNode(CTLAUiNode node, java.lang.Object o)
           
 java.lang.Object visitAUNode(CTLAUNode node, java.lang.Object o)
           
 java.lang.Object visitAWNode(CTLAWNode node, java.lang.Object o)
           
 java.lang.Object visitAXNode(CTLAXNode node, java.lang.Object o)
           
 java.lang.Object visitEFNode(CTLEFNode node, java.lang.Object o)
           
 java.lang.Object visitEGNode(CTLEGNode node, java.lang.Object o)
           
 java.lang.Object visitEqualsNode(CTLEqualsNode node, java.lang.Object o)
           
 java.lang.Object visitERNode(CTLERNode node, java.lang.Object o)
           
 java.lang.Object visitEUiNode(CTLEUiNode node, java.lang.Object o)
           
 java.lang.Object visitEUNode(CTLEUNode node, java.lang.Object o)
           
 java.lang.Object visitEWNode(CTLEWNode node, java.lang.Object o)
           
 java.lang.Object visitEXNode(CTLEXNode 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)
           
 java.lang.Object visitLeafNode(CTLLeafNode node, java.lang.Object o)
           
 java.lang.Object visitNegNode(CTLNegNode node, java.lang.Object o)
           
 java.lang.Object visitOrNode(CTLOrNode node, java.lang.Object o)
           
 java.lang.Object visitOverNode(CTLOverNode node, java.lang.Object o)
           
 java.lang.Object visitPlaceholderNode(CTLPlaceholderNode node, java.lang.Object o)
           
 java.lang.Object visitPreEXNode(CTLPreEXNode node, java.lang.Object o)
           
 java.lang.Object visitUnderNode(CTLUnderNode node, java.lang.Object o)
           
 
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

CloningRewriter

public CloningRewriter()
Method Detail

rewrite

public CTLNode rewrite(CTLNode ctl)
Specified by:
rewrite in interface CTLReWriter

visitLeafNode

public java.lang.Object visitLeafNode(CTLLeafNode node,
                                      java.lang.Object o)
Overrides:
visitLeafNode in class AbstractCTLVisitor

visitAFNode

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

visitAGNode

public java.lang.Object visitAGNode(CTLAGNode node,
                                    java.lang.Object o)
Specified by:
visitAGNode in interface CTLVisitor
Overrides:
visitAGNode in class AbstractCTLVisitor

visitAUNode

public java.lang.Object visitAUNode(CTLAUNode node,
                                    java.lang.Object o)
Specified by:
visitAUNode in interface CTLVisitor
Overrides:
visitAUNode in class AbstractCTLVisitor

visitARNode

public java.lang.Object visitARNode(CTLARNode node,
                                    java.lang.Object o)
Specified by:
visitARNode in interface CTLVisitor
Overrides:
visitARNode in class AbstractCTLVisitor

visitERNode

public java.lang.Object visitERNode(CTLERNode node,
                                    java.lang.Object o)
Specified by:
visitERNode in interface CTLVisitor
Overrides:
visitERNode in class AbstractCTLVisitor

visitAWNode

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

visitEWNode

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

visitAUiNode

public java.lang.Object visitAUiNode(CTLAUiNode node,
                                     java.lang.Object o)
Specified by:
visitAUiNode in interface CTLVisitor
Overrides:
visitAUiNode in class AbstractCTLVisitor

visitAXNode

public java.lang.Object visitAXNode(CTLAXNode node,
                                    java.lang.Object o)
Specified by:
visitAXNode in interface CTLVisitor
Overrides:
visitAXNode in class AbstractCTLVisitor

visitAndNode

public java.lang.Object visitAndNode(CTLAndNode node,
                                     java.lang.Object o)
Specified by:
visitAndNode in interface CTLVisitor
Overrides:
visitAndNode in class AbstractCTLVisitor

visitEFNode

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

visitEGNode

public java.lang.Object visitEGNode(CTLEGNode node,
                                    java.lang.Object o)
Specified by:
visitEGNode in interface CTLVisitor
Overrides:
visitEGNode in class AbstractCTLVisitor

visitEUNode

public java.lang.Object visitEUNode(CTLEUNode node,
                                    java.lang.Object o)
Specified by:
visitEUNode in interface CTLVisitor
Overrides:
visitEUNode in class AbstractCTLVisitor

visitEUiNode

public java.lang.Object visitEUiNode(CTLEUiNode node,
                                     java.lang.Object o)
Specified by:
visitEUiNode in interface CTLVisitor
Overrides:
visitEUiNode in class AbstractCTLVisitor

visitEXNode

public java.lang.Object visitEXNode(CTLEXNode node,
                                    java.lang.Object o)
Specified by:
visitEXNode in interface CTLVisitor
Overrides:
visitEXNode in class AbstractCTLVisitor

visitEqualsNode

public java.lang.Object visitEqualsNode(CTLEqualsNode node,
                                        java.lang.Object o)
Specified by:
visitEqualsNode in interface CTLVisitor
Overrides:
visitEqualsNode in class AbstractCTLVisitor

visitIffNode

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

visitImplNode

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

visitNegNode

public java.lang.Object visitNegNode(CTLNegNode node,
                                     java.lang.Object o)
Specified by:
visitNegNode in interface CTLVisitor
Overrides:
visitNegNode in class AbstractCTLVisitor

visitOrNode

public java.lang.Object visitOrNode(CTLOrNode node,
                                    java.lang.Object o)
Specified by:
visitOrNode in interface CTLVisitor
Overrides:
visitOrNode in class AbstractCTLVisitor

visitOverNode

public java.lang.Object visitOverNode(CTLOverNode node,
                                      java.lang.Object o)
Specified by:
visitOverNode in interface CTLVisitor
Overrides:
visitOverNode in class AbstractCTLVisitor

visitPreEXNode

public java.lang.Object visitPreEXNode(CTLPreEXNode node,
                                       java.lang.Object o)
Specified by:
visitPreEXNode in interface CTLVisitor
Overrides:
visitPreEXNode in class AbstractCTLVisitor

visitUnderNode

public java.lang.Object visitUnderNode(CTLUnderNode node,
                                       java.lang.Object o)
Specified by:
visitUnderNode in interface CTLVisitor
Overrides:
visitUnderNode in class AbstractCTLVisitor

visitPlaceholderNode

public java.lang.Object visitPlaceholderNode(CTLPlaceholderNode node,
                                             java.lang.Object o)
Specified by:
visitPlaceholderNode in interface CTLVisitor
Overrides:
visitPlaceholderNode in class AbstractCTLVisitor