edu.toronto.cs.proof2
Class DepthVisitor
java.lang.Object
edu.toronto.cs.ctl.CTLVisitorDefaulterAncestor
edu.toronto.cs.proof2.DepthVisitor
- All Implemented Interfaces:
- CTLVisitor
public class DepthVisitor
- extends CTLVisitorDefaulterAncestor
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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DepthVisitor
public DepthVisitor()
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