edu.toronto.cs.smv
Class SMVModule.DestructivePropertyFiller

java.lang.Object
  extended by edu.toronto.cs.ctl.AbstractCTLVisitor
      extended by edu.toronto.cs.modelchecker.CloningRewriter
          extended by edu.toronto.cs.smv.SMVModule.DestructivePropertyFiller
All Implemented Interfaces:
CTLVisitor, CTLReWriter
Enclosing class:
SMVModule

public class SMVModule.DestructivePropertyFiller
extends CloningRewriter


Constructor Summary
SMVModule.DestructivePropertyFiller()
           
 
Method Summary
 java.lang.Object visitAtomPropNode(CTLAtomPropNode ctl, java.lang.Object o)
           
 java.lang.Object visitEqualsNode(CTLEqualsNode ctl, java.lang.Object o)
           
 java.lang.Object visitPlaceholderNode(CTLPlaceholderNode ctl, java.lang.Object o)
           
 
Methods inherited from class edu.toronto.cs.modelchecker.CloningRewriter
rewrite, visitAFNode, visitAGNode, visitAndNode, visitARNode, visitAUiNode, visitAUNode, visitAWNode, visitAXNode, visitEFNode, visitEGNode, visitERNode, visitEUiNode, visitEUNode, visitEWNode, visitEXNode, visitIffNode, visitImplNode, visitLeafNode, visitNegNode, visitOrNode, visitOverNode, visitPreEXNode, visitUnderNode
 
Methods inherited from class edu.toronto.cs.ctl.AbstractCTLVisitor
visit, visitAbstractNode, 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

SMVModule.DestructivePropertyFiller

public SMVModule.DestructivePropertyFiller()
Method Detail

visitAtomPropNode

public java.lang.Object visitAtomPropNode(CTLAtomPropNode ctl,
                                          java.lang.Object o)
Specified by:
visitAtomPropNode in interface CTLVisitor
Overrides:
visitAtomPropNode in class AbstractCTLVisitor

visitEqualsNode

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

visitPlaceholderNode

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