|
||||||||||
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
public class CTLLeafNode
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 |
---|
public CTLLeafNode()
Method Detail |
---|
public CTLNode getLeft()
CTLAbstractNode
getLeft
in interface CTLNode
getLeft
in class CTLAbstractNode
public CTLNode getRight()
CTLAbstractNode
getRight
in interface CTLNode
getRight
in class CTLAbstractNode
protected void setRight(CTLNode v)
CTLAbstractNode
setRight
in class CTLAbstractNode
protected void setLeft(CTLNode v)
CTLAbstractNode
setLeft
in class CTLAbstractNode
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |