edu.toronto.cs.ctl
Class CTLUnaryNode

java.lang.Object
  extended by edu.toronto.cs.ctl.CTLAbstractNode
      extended by edu.toronto.cs.ctl.CTLLeafNode
          extended by edu.toronto.cs.ctl.CTLUnaryNode
All Implemented Interfaces:
CTLNode
Direct Known Subclasses:
CTLAFNode, CTLAGNode, CTLAXNode, CTLBinaryNode, CTLEFNode, CTLEGNode, CTLEXNode, CTLNegNode, CTLPreEXNode

public abstract class CTLUnaryNode
extends CTLLeafNode


Field Summary
 
Fields inherited from class edu.toronto.cs.ctl.CTLAbstractNode
EMPTY_ARRAY
 
Constructor Summary
CTLUnaryNode()
           
CTLUnaryNode(CTLNode _right)
           
CTLUnaryNode(CTLNode _right, CTLNode[] _fairness)
           
 
Method Summary
 boolean equals(java.lang.Object o)
          Overrides the Object's equals method.
 CTLNode[] getFairness()
          Retrieves the fairness of the CTLNode.
 CTLNode getLeft()
          Retrieves the left child of the CTLNode.
 CTLNode getRight()
          Retrieves the right child of the CTLNode.
 int hashCode()
           
protected  void setLeft(CTLNode v)
          Changes the left child of the CTLNode.
protected  void setRight(CTLNode v)
          Changes the right child of the CTLNode.
 
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, toString, wait, wait, wait
 

Constructor Detail

CTLUnaryNode

public CTLUnaryNode()

CTLUnaryNode

public CTLUnaryNode(CTLNode _right)

CTLUnaryNode

public CTLUnaryNode(CTLNode _right,
                    CTLNode[] _fairness)
Method Detail

getRight

public CTLNode getRight()
Description copied from class: CTLAbstractNode
Retrieves the right child of the CTLNode.

Specified by:
getRight in interface CTLNode
Overrides:
getRight in class CTLLeafNode
Returns:
right child.

getLeft

public CTLNode getLeft()
Description copied from class: CTLAbstractNode
Retrieves the left child of the CTLNode.

Specified by:
getLeft in interface CTLNode
Overrides:
getLeft in class CTLLeafNode
Returns:
left child.

setRight

protected void setRight(CTLNode v)
Description copied from class: CTLAbstractNode
Changes the right child of the CTLNode.

Overrides:
setRight in class CTLLeafNode

setLeft

protected void setLeft(CTLNode v)
Description copied from class: CTLAbstractNode
Changes the left child of the CTLNode.

Overrides:
setLeft in class CTLLeafNode

equals

public boolean equals(java.lang.Object o)
Description copied from class: CTLAbstractNode
Overrides the Object's equals method.

Overrides:
equals in class CTLAbstractNode

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

getFairness

public CTLNode[] getFairness()
Description copied from class: CTLAbstractNode
Retrieves the fairness of the CTLNode.

Specified by:
getFairness in interface CTLNode
Overrides:
getFairness in class CTLAbstractNode
Returns:
fairness for this CTL.