edu.toronto.cs.ctl
Class CTLBinaryNode
java.lang.Object
edu.toronto.cs.ctl.CTLAbstractNode
edu.toronto.cs.ctl.CTLLeafNode
edu.toronto.cs.ctl.CTLUnaryNode
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
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.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 |
CTLBinaryNode
public CTLBinaryNode()
CTLBinaryNode
public CTLBinaryNode(CTLNode _left,
CTLNode _right)
CTLBinaryNode
public CTLBinaryNode(CTLNode _left,
CTLNode _right,
CTLNode[] fairness)
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