edu.toronto.cs.ctl
Interface CTLVisitor

All Known Implementing Classes:
AbstractCTLVisitor, CloningRewriter, CTLPrettyPrinter, CTLStyledPrinter, CTLUntilExpander, CTLVisitorDefaulterAncestor, CTLWeakUntilExpander, DepthVisitor, ExistentialRewriter, MvSetPlaceholderReWriter, NormalFormRewriter, PlaceholderReWriter, SMVModule.DestructivePropertyFiller, SyntaxChecker

public interface CTLVisitor

This is an abstract CTL node.


Method Summary
 java.lang.Object visit(CTLNode n, java.lang.Object stateinfo)
           
 java.lang.Object visitAbstractNode(CTLAbstractNode n, java.lang.Object stateinfo)
           
 java.lang.Object visitAFNode(CTLAFNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitAGNode(CTLAGNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitAndNode(CTLAndNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitARNode(CTLARNode node, java.lang.Object o)
           
 java.lang.Object visitAtomPropNode(CTLAtomPropNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitAUiNode(CTLAUiNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitAUNode(CTLAUNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitAWNode(CTLAWNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitAXNode(CTLAXNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitConstantNode(CTLConstantNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitEFNode(CTLEFNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitEGNode(CTLEGNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitEqualsNode(CTLEqualsNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitERNode(CTLERNode node, java.lang.Object o)
           
 java.lang.Object visitEUiNode(CTLEUiNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitEUNode(CTLEUNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitEWNode(CTLEWNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitEXNode(CTLEXNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitIffNode(CTLIffNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitImplNode(CTLImplNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitMvSetNode(CTLMvSetNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitNegNode(CTLNegNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitNode(CTLNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitOrNode(CTLOrNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitOverNode(CTLOverNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitPlaceholderNode(CTLPlaceholderNode node, java.lang.Object o)
           
 java.lang.Object visitPreEXNode(CTLPreEXNode node, java.lang.Object stateinfo)
           
 java.lang.Object visitUnderNode(CTLUnderNode node, java.lang.Object stateinfo)
           
 

Method Detail

visit

java.lang.Object visit(CTLNode n,
                       java.lang.Object stateinfo)

visitAbstractNode

java.lang.Object visitAbstractNode(CTLAbstractNode n,
                                   java.lang.Object stateinfo)

visitAFNode

java.lang.Object visitAFNode(CTLAFNode node,
                             java.lang.Object stateinfo)

visitAGNode

java.lang.Object visitAGNode(CTLAGNode node,
                             java.lang.Object stateinfo)

visitAUNode

java.lang.Object visitAUNode(CTLAUNode node,
                             java.lang.Object stateinfo)

visitARNode

java.lang.Object visitARNode(CTLARNode node,
                             java.lang.Object o)

visitERNode

java.lang.Object visitERNode(CTLERNode node,
                             java.lang.Object o)

visitAUiNode

java.lang.Object visitAUiNode(CTLAUiNode node,
                              java.lang.Object stateinfo)

visitAWNode

java.lang.Object visitAWNode(CTLAWNode node,
                             java.lang.Object stateinfo)

visitAXNode

java.lang.Object visitAXNode(CTLAXNode node,
                             java.lang.Object stateinfo)

visitAndNode

java.lang.Object visitAndNode(CTLAndNode node,
                              java.lang.Object stateinfo)

visitAtomPropNode

java.lang.Object visitAtomPropNode(CTLAtomPropNode node,
                                   java.lang.Object stateinfo)

visitEFNode

java.lang.Object visitEFNode(CTLEFNode node,
                             java.lang.Object stateinfo)

visitEGNode

java.lang.Object visitEGNode(CTLEGNode node,
                             java.lang.Object stateinfo)

visitEUNode

java.lang.Object visitEUNode(CTLEUNode node,
                             java.lang.Object stateinfo)

visitEUiNode

java.lang.Object visitEUiNode(CTLEUiNode node,
                              java.lang.Object stateinfo)

visitEWNode

java.lang.Object visitEWNode(CTLEWNode node,
                             java.lang.Object stateinfo)

visitEXNode

java.lang.Object visitEXNode(CTLEXNode node,
                             java.lang.Object stateinfo)

visitEqualsNode

java.lang.Object visitEqualsNode(CTLEqualsNode node,
                                 java.lang.Object stateinfo)

visitIffNode

java.lang.Object visitIffNode(CTLIffNode node,
                              java.lang.Object stateinfo)

visitImplNode

java.lang.Object visitImplNode(CTLImplNode node,
                               java.lang.Object stateinfo)

visitConstantNode

java.lang.Object visitConstantNode(CTLConstantNode node,
                                   java.lang.Object stateinfo)

visitMvSetNode

java.lang.Object visitMvSetNode(CTLMvSetNode node,
                                java.lang.Object stateinfo)

visitNegNode

java.lang.Object visitNegNode(CTLNegNode node,
                              java.lang.Object stateinfo)

visitNode

java.lang.Object visitNode(CTLNode node,
                           java.lang.Object stateinfo)

visitOrNode

java.lang.Object visitOrNode(CTLOrNode node,
                             java.lang.Object stateinfo)

visitOverNode

java.lang.Object visitOverNode(CTLOverNode node,
                               java.lang.Object stateinfo)

visitPreEXNode

java.lang.Object visitPreEXNode(CTLPreEXNode node,
                                java.lang.Object stateinfo)

visitUnderNode

java.lang.Object visitUnderNode(CTLUnderNode node,
                                java.lang.Object stateinfo)

visitPlaceholderNode

java.lang.Object visitPlaceholderNode(CTLPlaceholderNode node,
                                      java.lang.Object o)