edu.toronto.cs.ctl
Class CTLTransitionNode

java.lang.Object
  extended by edu.toronto.cs.ctl.CTLAbstractNode
      extended by edu.toronto.cs.ctl.CTLLeafNode
          extended by edu.toronto.cs.ctl.CTLMvSetNode
              extended by edu.toronto.cs.ctl.CTLTransitionNode
All Implemented Interfaces:
CTLNode

public class CTLTransitionNode
extends CTLMvSetNode


Field Summary
 
Fields inherited from class edu.toronto.cs.ctl.CTLAbstractNode
EMPTY_ARRAY
 
Constructor Summary
protected CTLTransitionNode(MvSet set)
           
 
Method Summary
 
Methods inherited from class edu.toronto.cs.ctl.CTLMvSetNode
accept, equals, equals, getMvSet, getName, hashCode, setName, toString
 
Methods inherited from class edu.toronto.cs.ctl.CTLLeafNode
getLeft, getRight, setLeft, setRight
 
Methods inherited from class edu.toronto.cs.ctl.CTLAbstractNode
af, af, ag, ag, and, ar, au, au, aw, ax, ef, eg, eg, eq, er, eu, eu, ew, ex, getFairness, iff, impliedBy, implies, neg, objectHashCode, or, over, preEX, toString, under
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CTLTransitionNode

protected CTLTransitionNode(MvSet set)