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)
|
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)