edu.toronto.cs.modelchecker
Class ExistentialRewriter

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

public class ExistentialRewriter
extends CloningRewriter


Constructor Summary
ExistentialRewriter()
           
 
Method Summary
 java.lang.Object visitAFNode(CTLAFNode node, java.lang.Object o)
           
 java.lang.Object visitAGNode(CTLAGNode 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 visitAXNode(CTLAXNode node, java.lang.Object o)
           
 
Methods inherited from class edu.toronto.cs.modelchecker.CloningRewriter
rewrite, visitAndNode, visitARNode, visitAWNode, visitEFNode, visitEGNode, visitEqualsNode, visitERNode, visitEUiNode, visitEUNode, visitEWNode, 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

ExistentialRewriter

public ExistentialRewriter()
Method Detail

visitAFNode

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

visitAGNode

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

visitAUNode

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

visitAUiNode

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

visitAXNode

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