edu.toronto.cs.modelchecker
Class NormalFormRewriter
java.lang.Object
edu.toronto.cs.ctl.AbstractCTLVisitor
edu.toronto.cs.modelchecker.NormalFormRewriter
- All Implemented Interfaces:
- CTLVisitor, CTLReWriter
public class NormalFormRewriter
- extends AbstractCTLVisitor
- implements CTLReWriter
Method Summary |
CTLNode |
rewrite(CTLNode node)
|
java.lang.Object |
visitAFNode(CTLAFNode node,
java.lang.Object o)
|
java.lang.Object |
visitAGNode(CTLAGNode node,
java.lang.Object o)
|
java.lang.Object |
visitAndNode(CTLAndNode node,
java.lang.Object o)
|
java.lang.Object |
visitARNode(CTLARNode node,
java.lang.Object o)
|
java.lang.Object |
visitAUNode(CTLAUNode node,
java.lang.Object o)
|
java.lang.Object |
visitAXNode(CTLAXNode node,
java.lang.Object o)
|
java.lang.Object |
visitBinaryNode(CTLBinaryNode node,
java.lang.Object o)
|
java.lang.Object |
visitEFNode(CTLEFNode node,
java.lang.Object o)
|
java.lang.Object |
visitEGNode(CTLEGNode node,
java.lang.Object o)
|
java.lang.Object |
visitEqualsNode(CTLEqualsNode node,
java.lang.Object o)
|
java.lang.Object |
visitERNode(CTLERNode node,
java.lang.Object o)
|
java.lang.Object |
visitEUNode(CTLEUNode node,
java.lang.Object o)
|
java.lang.Object |
visitEXNode(CTLEXNode node,
java.lang.Object o)
|
java.lang.Object |
visitImplNode(CTLImplNode node,
java.lang.Object o)
|
java.lang.Object |
visitLeafNode(CTLLeafNode node,
java.lang.Object o)
|
java.lang.Object |
visitNegNode(CTLNegNode node,
java.lang.Object o)
|
java.lang.Object |
visitOrNode(CTLOrNode node,
java.lang.Object o)
|
java.lang.Object |
visitOverNode(CTLOverNode node,
java.lang.Object o)
|
java.lang.Object |
visitPlaceholderNode(CTLPlaceholderNode node,
java.lang.Object o)
|
java.lang.Object |
visitPreEXNode(CTLPreEXNode node,
java.lang.Object o)
|
java.lang.Object |
visitUnaryNode(CTLUnaryNode node,
java.lang.Object o)
|
java.lang.Object |
visitUnderNode(CTLUnderNode node,
java.lang.Object o)
|
Methods inherited from class edu.toronto.cs.ctl.AbstractCTLVisitor |
visit, visitAbstractNode, visitAtomPropNode, visitAUiNode, visitAWNode, visitConstantNode, visitCTLNode, visitEUiNode, visitEWNode, visitIffNode, visitMvSetNode, visitNode |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
NormalFormRewriter
public NormalFormRewriter()
rewrite
public CTLNode rewrite(CTLNode node)
- Specified by:
rewrite
in interface CTLReWriter
visitLeafNode
public java.lang.Object visitLeafNode(CTLLeafNode node,
java.lang.Object o)
- Overrides:
visitLeafNode
in class AbstractCTLVisitor
visitUnaryNode
public java.lang.Object visitUnaryNode(CTLUnaryNode node,
java.lang.Object o)
- Overrides:
visitUnaryNode
in class AbstractCTLVisitor
visitBinaryNode
public java.lang.Object visitBinaryNode(CTLBinaryNode node,
java.lang.Object o)
- Overrides:
visitBinaryNode
in class AbstractCTLVisitor
visitAFNode
public java.lang.Object visitAFNode(CTLAFNode node,
java.lang.Object o)
- Specified by:
visitAFNode
in interface CTLVisitor
- Overrides:
visitAFNode
in class AbstractCTLVisitor
visitAGNode
public java.lang.Object visitAGNode(CTLAGNode node,
java.lang.Object o)
- Specified by:
visitAGNode
in interface CTLVisitor
- Overrides:
visitAGNode
in class AbstractCTLVisitor
visitAUNode
public java.lang.Object visitAUNode(CTLAUNode node,
java.lang.Object o)
- Specified by:
visitAUNode
in interface CTLVisitor
- Overrides:
visitAUNode
in class AbstractCTLVisitor
visitARNode
public java.lang.Object visitARNode(CTLARNode node,
java.lang.Object o)
- Specified by:
visitARNode
in interface CTLVisitor
- Overrides:
visitARNode
in class AbstractCTLVisitor
visitERNode
public java.lang.Object visitERNode(CTLERNode node,
java.lang.Object o)
- Specified by:
visitERNode
in interface CTLVisitor
- Overrides:
visitERNode
in class AbstractCTLVisitor
visitAXNode
public java.lang.Object visitAXNode(CTLAXNode node,
java.lang.Object o)
- Specified by:
visitAXNode
in interface CTLVisitor
- Overrides:
visitAXNode
in class AbstractCTLVisitor
visitAndNode
public java.lang.Object visitAndNode(CTLAndNode node,
java.lang.Object o)
- Specified by:
visitAndNode
in interface CTLVisitor
- Overrides:
visitAndNode
in class AbstractCTLVisitor
visitImplNode
public java.lang.Object visitImplNode(CTLImplNode node,
java.lang.Object o)
- Specified by:
visitImplNode
in interface CTLVisitor
- Overrides:
visitImplNode
in class AbstractCTLVisitor
visitEFNode
public java.lang.Object visitEFNode(CTLEFNode node,
java.lang.Object o)
- Specified by:
visitEFNode
in interface CTLVisitor
- Overrides:
visitEFNode
in class AbstractCTLVisitor
visitEGNode
public java.lang.Object visitEGNode(CTLEGNode node,
java.lang.Object o)
- Specified by:
visitEGNode
in interface CTLVisitor
- Overrides:
visitEGNode
in class AbstractCTLVisitor
visitEXNode
public java.lang.Object visitEXNode(CTLEXNode node,
java.lang.Object o)
- Specified by:
visitEXNode
in interface CTLVisitor
- Overrides:
visitEXNode
in class AbstractCTLVisitor
visitEUNode
public java.lang.Object visitEUNode(CTLEUNode node,
java.lang.Object o)
- Specified by:
visitEUNode
in interface CTLVisitor
- Overrides:
visitEUNode
in class AbstractCTLVisitor
visitEqualsNode
public java.lang.Object visitEqualsNode(CTLEqualsNode node,
java.lang.Object o)
- Specified by:
visitEqualsNode
in interface CTLVisitor
- Overrides:
visitEqualsNode
in class AbstractCTLVisitor
visitNegNode
public java.lang.Object visitNegNode(CTLNegNode node,
java.lang.Object o)
- Specified by:
visitNegNode
in interface CTLVisitor
- Overrides:
visitNegNode
in class AbstractCTLVisitor
visitOrNode
public java.lang.Object visitOrNode(CTLOrNode node,
java.lang.Object o)
- Specified by:
visitOrNode
in interface CTLVisitor
- Overrides:
visitOrNode
in class AbstractCTLVisitor
visitOverNode
public java.lang.Object visitOverNode(CTLOverNode node,
java.lang.Object o)
- Specified by:
visitOverNode
in interface CTLVisitor
- Overrides:
visitOverNode
in class AbstractCTLVisitor
visitPreEXNode
public java.lang.Object visitPreEXNode(CTLPreEXNode node,
java.lang.Object o)
- Specified by:
visitPreEXNode
in interface CTLVisitor
- Overrides:
visitPreEXNode
in class AbstractCTLVisitor
visitUnderNode
public java.lang.Object visitUnderNode(CTLUnderNode node,
java.lang.Object o)
- Specified by:
visitUnderNode
in interface CTLVisitor
- Overrides:
visitUnderNode
in class AbstractCTLVisitor
visitPlaceholderNode
public java.lang.Object visitPlaceholderNode(CTLPlaceholderNode node,
java.lang.Object o)
- Specified by:
visitPlaceholderNode
in interface CTLVisitor
- Overrides:
visitPlaceholderNode
in class AbstractCTLVisitor