edu.toronto.cs.ctl
Class CTLUnderNode

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.CTLBinaryNode
                  extended by edu.toronto.cs.ctl.CTLUnderNode
All Implemented Interfaces:
CTLNode

public class CTLUnderNode
extends CTLBinaryNode

This is an Under CTL node.


Field Summary
 
Fields inherited from class edu.toronto.cs.ctl.CTLAbstractNode
EMPTY_ARRAY
 
Constructor Summary
protected CTLUnderNode(CTLNode phi, CTLNode psi)
          Construct an Under CTL node using two other nodes as its children.
 
Method Summary
 java.lang.String toString()
           
 
Methods inherited from class edu.toronto.cs.ctl.CTLBinaryNode
equals, getLeft, getRight, hashCode, setLeft, setRight
 
Methods inherited from class edu.toronto.cs.ctl.CTLUnaryNode
getFairness
 
Methods inherited from class edu.toronto.cs.ctl.CTLAbstractNode
accept, 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

CTLUnderNode

protected CTLUnderNode(CTLNode phi,
                       CTLNode psi)
Construct an Under CTL node using two other nodes as its children.

Method Detail

toString

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