edu.toronto.cs.ctl
Class CTLLeafNode

java.lang.Object
  extended by edu.toronto.cs.ctl.CTLAbstractNode
      extended by edu.toronto.cs.ctl.CTLLeafNode
All Implemented Interfaces:
CTLNode
Direct Known Subclasses:
CTLAtomPropNode, CTLConstantNode, CTLMvSetNode, CTLPlaceholderNode, CTLUnaryNode

public class CTLLeafNode
extends CTLAbstractNode


Field Summary
 
Fields inherited from class edu.toronto.cs.ctl.CTLAbstractNode
EMPTY_ARRAY
 
Constructor Summary
CTLLeafNode()
           
 
Method Summary
 CTLNode getLeft()
          Retrieves the left child of the CTLNode.
 CTLNode getRight()
          Retrieves the right child of the CTLNode.
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, equals, 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, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CTLLeafNode

public CTLLeafNode()
Method Detail

getLeft

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

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

getRight

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

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

setRight

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

Specified by:
setRight in class CTLAbstractNode

setLeft

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

Specified by:
setLeft in class CTLAbstractNode