edu.toronto.cs.modelchecker
Class ExistentialRewriter
java.lang.Object
edu.toronto.cs.ctl.AbstractCTLVisitor
edu.toronto.cs.modelchecker.CloningRewriter
edu.toronto.cs.modelchecker.ExistentialRewriter
- All Implemented Interfaces:
- CTLVisitor, CTLReWriter
public class ExistentialRewriter
- extends CloningRewriter
Methods inherited from class edu.toronto.cs.modelchecker.CloningRewriter |
rewrite, visitAndNode, visitARNode, visitAWNode, visitEFNode, visitEGNode, visitEqualsNode, visitERNode, visitEUiNode, visitEUNode, visitEWNode, visitEXNode, visitIffNode, visitImplNode, visitLeafNode, visitNegNode, visitOrNode, visitOverNode, visitPlaceholderNode, visitPreEXNode, visitUnderNode |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ExistentialRewriter
public ExistentialRewriter()
visitAFNode
public java.lang.Object visitAFNode(CTLAFNode node,
java.lang.Object o)
- Specified by:
visitAFNode
in interface CTLVisitor
- Overrides:
visitAFNode
in class CloningRewriter
visitAGNode
public java.lang.Object visitAGNode(CTLAGNode node,
java.lang.Object o)
- Specified by:
visitAGNode
in interface CTLVisitor
- Overrides:
visitAGNode
in class CloningRewriter
visitAUNode
public java.lang.Object visitAUNode(CTLAUNode node,
java.lang.Object o)
- Specified by:
visitAUNode
in interface CTLVisitor
- Overrides:
visitAUNode
in class CloningRewriter
visitAUiNode
public java.lang.Object visitAUiNode(CTLAUiNode node,
java.lang.Object o)
- Specified by:
visitAUiNode
in interface CTLVisitor
- Overrides:
visitAUiNode
in class CloningRewriter
visitAXNode
public java.lang.Object visitAXNode(CTLAXNode node,
java.lang.Object o)
- Specified by:
visitAXNode
in interface CTLVisitor
- Overrides:
visitAXNode
in class CloningRewriter