edu.toronto.cs.ctl
Class CTLEFNode

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

public class CTLEFNode
extends CTLUnaryNode

This is an EF CTL node.


Field Summary
 
Fields inherited from class edu.toronto.cs.ctl.CTLAbstractNode
EMPTY_ARRAY
 
Constructor Summary
protected CTLEFNode(CTLNode phi)
          Construct an EF CTL node from another node.
protected CTLEFNode(CTLNode phi, CTLNode[] fairness)
           
 
Method Summary
 java.lang.Object accept(CTLVisitor v, java.lang.Object s)
           
 java.lang.String toString()
           
 
Methods inherited from class edu.toronto.cs.ctl.CTLUnaryNode
equals, getFairness, getLeft, getRight, hashCode, 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, 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

CTLEFNode

protected CTLEFNode(CTLNode phi)
Construct an EF CTL node from another node.


CTLEFNode

protected CTLEFNode(CTLNode phi,
                    CTLNode[] fairness)
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

accept

public java.lang.Object accept(CTLVisitor v,
                               java.lang.Object s)
Specified by:
accept in interface CTLNode
Overrides:
accept in class CTLAbstractNode