edu.toronto.cs.modelchecker
Class SyntaxChecker

java.lang.Object
  extended by edu.toronto.cs.ctl.AbstractCTLVisitor
      extended by edu.toronto.cs.modelchecker.SyntaxChecker
All Implemented Interfaces:
CTLVisitor, CTLReWriter

public class SyntaxChecker
extends AbstractCTLVisitor
implements CTLReWriter


Constructor Summary
SyntaxChecker()
           
 
Method Summary
 CTLNode rewrite(CTLNode node)
           
 java.lang.Object visitAtomPropNode(CTLAtomPropNode node, java.lang.Object o)
           
 
Methods inherited from class edu.toronto.cs.ctl.AbstractCTLVisitor
visit, visitAbstractNode, visitAFNode, visitAGNode, visitAndNode, visitARNode, visitAUiNode, visitAUNode, visitAWNode, visitAXNode, visitBinaryNode, visitConstantNode, visitCTLNode, visitEFNode, visitEGNode, visitEqualsNode, visitERNode, visitEUiNode, visitEUNode, visitEWNode, visitEXNode, visitIffNode, visitImplNode, visitLeafNode, visitMvSetNode, visitNegNode, visitNode, visitOrNode, visitOverNode, visitPlaceholderNode, visitPreEXNode, visitUnaryNode, visitUnderNode
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SyntaxChecker

public SyntaxChecker()
Method Detail

rewrite

public CTLNode rewrite(CTLNode node)
Specified by:
rewrite in interface CTLReWriter

visitAtomPropNode

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