|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.ctl.AbstractCTLVisitor
edu.toronto.cs.modelchecker.CloningRewriter
edu.toronto.cs.modelchecker.CTLUntilExpander
public class CTLUntilExpander
Constructor Summary | |
---|---|
CTLUntilExpander(MvSet _top)
|
Method Summary | |
---|---|
java.lang.Object |
visitAFNode(CTLAFNode node,
java.lang.Object o)
|
java.lang.Object |
visitEFNode(CTLEFNode node,
java.lang.Object o)
|
java.lang.Object |
visitIffNode(CTLIffNode node,
java.lang.Object o)
|
java.lang.Object |
visitImplNode(CTLImplNode node,
java.lang.Object o)
|
Methods inherited from class edu.toronto.cs.modelchecker.CloningRewriter |
---|
rewrite, visitAGNode, visitAndNode, visitARNode, visitAUiNode, visitAUNode, visitAWNode, visitAXNode, visitEGNode, visitEqualsNode, visitERNode, visitEUiNode, visitEUNode, visitEWNode, visitEXNode, visitLeafNode, visitNegNode, visitOrNode, visitOverNode, visitPlaceholderNode, visitPreEXNode, visitUnderNode |
Methods inherited from class edu.toronto.cs.ctl.AbstractCTLVisitor |
---|
visit, visitAbstractNode, visitAtomPropNode, visitBinaryNode, visitConstantNode, visitCTLNode, visitMvSetNode, visitNode, visitUnaryNode |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public CTLUntilExpander(MvSet _top)
Method Detail |
---|
public java.lang.Object visitEFNode(CTLEFNode node, java.lang.Object o)
visitEFNode
in interface CTLVisitor
visitEFNode
in class CloningRewriter
public java.lang.Object visitAFNode(CTLAFNode node, java.lang.Object o)
visitAFNode
in interface CTLVisitor
visitAFNode
in class CloningRewriter
public java.lang.Object visitIffNode(CTLIffNode node, java.lang.Object o)
visitIffNode
in interface CTLVisitor
visitIffNode
in class CloningRewriter
public java.lang.Object visitImplNode(CTLImplNode node, java.lang.Object o)
visitImplNode
in interface CTLVisitor
visitImplNode
in class CloningRewriter
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |