edu.toronto.cs.ctl
Class CTLBinaryNode

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
All Implemented Interfaces:
CTLNode
Direct Known Subclasses:
CTLAndNode, CTLARNode, CTLAUNode, CTLAWNode, CTLEqualsNode, CTLERNode, CTLEUNode, CTLEWNode, CTLIffNode, CTLImplNode, CTLOrNode, CTLOverNode, CTLUnderNode

public abstract class CTLBinaryNode
extends CTLUnaryNode


Field Summary
 
Fields inherited from class edu.toronto.cs.ctl.CTLAbstractNode
EMPTY_ARRAY
 
Constructor Summary
CTLBinaryNode()
           
CTLBinaryNode(CTLNode _left, CTLNode _right)
           
CTLBinaryNode(CTLNode _left, CTLNode _right, CTLNode[] fairness)
           
 
Method Summary
 boolean equals(java.lang.Object o)
          Overrides the Object's equals method.
 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.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, toString, wait, wait, wait
 

Constructor Detail

CTLBinaryNode

public CTLBinaryNode()

CTLBinaryNode

public CTLBinaryNode(CTLNode _left,
                     CTLNode _right)

CTLBinaryNode

public CTLBinaryNode(CTLNode _left,
                     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 CTLUnaryNode
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 CTLUnaryNode
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 CTLUnaryNode

setLeft

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

Overrides:
setLeft in class CTLUnaryNode

equals

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

Overrides:
equals in class CTLUnaryNode

hashCode

public int hashCode()
Overrides:
hashCode in class CTLUnaryNode