|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.ctl.CTLAbstractNode
edu.toronto.cs.ctl.CTLLeafNode
edu.toronto.cs.ctl.CTLUnaryNode
public abstract class CTLUnaryNode
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 |
---|
public CTLUnaryNode()
public CTLUnaryNode(CTLNode _right)
public CTLUnaryNode(CTLNode _right, CTLNode[] _fairness)
Method Detail |
---|
public CTLNode getRight()
CTLAbstractNode
getRight
in interface CTLNode
getRight
in class CTLLeafNode
public CTLNode getLeft()
CTLAbstractNode
getLeft
in interface CTLNode
getLeft
in class CTLLeafNode
protected void setRight(CTLNode v)
CTLAbstractNode
setRight
in class CTLLeafNode
protected void setLeft(CTLNode v)
CTLAbstractNode
setLeft
in class CTLLeafNode
public boolean equals(java.lang.Object o)
CTLAbstractNode
equals
in class CTLAbstractNode
public int hashCode()
hashCode
in class java.lang.Object
public CTLNode[] getFairness()
CTLAbstractNode
getFairness
in interface CTLNode
getFairness
in class CTLAbstractNode
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |