edu.toronto.cs.proof2
Class DepthVisitor

java.lang.Object
  extended by edu.toronto.cs.ctl.CTLVisitorDefaulterAncestor
      extended by edu.toronto.cs.proof2.DepthVisitor
All Implemented Interfaces:
CTLVisitor

public class DepthVisitor
extends CTLVisitorDefaulterAncestor


Constructor Summary
DepthVisitor()
           
 
Method Summary
 java.lang.Object binaryNontemporalVisit(CTLNode node, java.lang.Object stateinfo)
           
 java.lang.Object binaryTemporalVisit(CTLNode node, java.lang.Object stateinfo)
           
 int ctlDepth(CTLNode node)
           
 java.lang.Object unaryNontemporalVisit(CTLNode node, java.lang.Object stateinfo)
           
 java.lang.Object unaryTemporalVisit(CTLNode node, 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 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 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)
           
 
Methods inherited from class edu.toronto.cs.ctl.CTLVisitorDefaulterAncestor
visit, visitAbstractNode, visitCTLNode, visitERNode, visitNode
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DepthVisitor

public DepthVisitor()
Method Detail

ctlDepth

public int ctlDepth(CTLNode node)

unaryNontemporalVisit

public java.lang.Object unaryNontemporalVisit(CTLNode node,
                                              java.lang.Object stateinfo)

binaryNontemporalVisit

public java.lang.Object binaryNontemporalVisit(CTLNode node,
                                               java.lang.Object stateinfo)

unaryTemporalVisit

public java.lang.Object unaryTemporalVisit(CTLNode node,
                                           java.lang.Object stateinfo)

binaryTemporalVisit

public java.lang.Object binaryTemporalVisit(CTLNode node,
                                            java.lang.Object stateinfo)

visitAFNode

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

visitAGNode

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

visitAUNode

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

visitARNode

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

visitAUiNode

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

visitAWNode

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

visitAXNode

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

visitAndNode

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

visitAtomPropNode

public java.lang.Object visitAtomPropNode(CTLAtomPropNode node,
                                          java.lang.Object stateinfo)
Specified by:
visitAtomPropNode in interface CTLVisitor
Overrides:
visitAtomPropNode in class CTLVisitorDefaulterAncestor

visitEFNode

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

visitEGNode

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

visitEUNode

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

visitEUiNode

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

visitEWNode

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

visitEXNode

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

visitEqualsNode

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

visitIffNode

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

visitImplNode

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

visitConstantNode

public java.lang.Object visitConstantNode(CTLConstantNode node,
                                          java.lang.Object stateinfo)
Specified by:
visitConstantNode in interface CTLVisitor
Overrides:
visitConstantNode in class CTLVisitorDefaulterAncestor

visitMvSetNode

public java.lang.Object visitMvSetNode(CTLMvSetNode node,
                                       java.lang.Object stateinfo)
Specified by:
visitMvSetNode in interface CTLVisitor
Overrides:
visitMvSetNode in class CTLVisitorDefaulterAncestor

visitNegNode

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

visitOrNode

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

visitOverNode

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

visitPreEXNode

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

visitUnderNode

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

visitPlaceholderNode

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