|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.ctl.CTLAbstractNode
public abstract class CTLAbstractNode
This is an abstract CTL node.
Field Summary | |
---|---|
static CTLNode[] |
EMPTY_ARRAY
|
Constructor Summary | |
---|---|
protected |
CTLAbstractNode()
Create an CTLAbstractNode with no children. |
Method Summary | |
---|---|
java.lang.Object |
accept(CTLVisitor v,
java.lang.Object stateinfo)
|
CTLAFNode |
af()
CTL operation - AF. |
CTLAFNode |
af(CTLNode[] fairness)
|
CTLAGNode |
ag()
CTL operation - AG. |
CTLAGNode |
ag(CTLNode[] fairness)
|
CTLAndNode |
and(CTLNode psi)
CTL operation - conjunction. |
CTLARNode |
ar(CTLNode psi)
CTL Release node A [this R psi ] |
CTLAUNode |
au(CTLNode psi)
CTL operation - AU ( A[this U psi] ). |
CTLAUiNode |
au(int i,
CTLNode psi)
CTL operation - bounded AU ( A[this Ui psi] ). |
CTLAWNode |
aw(CTLNode psi)
|
CTLAXNode |
ax()
CTL operation - AX. |
CTLEFNode |
ef()
CTL operation - EF. |
CTLEGNode |
eg()
CTL operation - EG. |
CTLEGNode |
eg(CTLNode[] fairness)
|
CTLEqualsNode |
eq(CTLNode psi)
CTL operation - equals |
boolean |
equals(java.lang.Object o)
Overrides the Object's equals method. |
CTLERNode |
er(CTLNode psi)
|
CTLEUNode |
eu(CTLNode psi)
CTL operation - EU ( E[this U psi] ). |
CTLEUiNode |
eu(int i,
CTLNode psi)
CTL operation - bounded EU ( E[this Ui psi] ). |
CTLEWNode |
ew(CTLNode psi)
|
CTLEXNode |
ex()
CTL operation - EX. |
CTLNode[] |
getFairness()
Retrieves the fairness of the CTLNode. |
abstract CTLNode |
getLeft()
Retrieves the left child of the CTLNode. |
abstract CTLNode |
getRight()
Retrieves the right child of the CTLNode. |
CTLIffNode |
iff(CTLNode psi)
CTL operation - equivalence. |
CTLImplNode |
impliedBy(CTLNode psi)
CTL operation - backward implication. |
CTLImplNode |
implies(CTLNode psi)
CTL operation - implication. |
CTLNegNode |
neg()
CTL operation - negation. |
int |
objectHashCode()
|
CTLOrNode |
or(CTLNode psi)
CTL operation - disjunction. |
CTLOverNode |
over(CTLNode psi)
CTL operation - over |
CTLPreEXNode |
preEX()
|
protected abstract void |
setLeft(CTLNode l)
Changes the left child of the CTLNode. |
protected abstract void |
setRight(CTLNode r)
Changes the right child of the CTLNode. |
static java.lang.String |
toString(CTLNode node,
boolean optBrackets)
|
CTLUnderNode |
under(CTLNode psi)
CTL operation - under |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final CTLNode[] EMPTY_ARRAY
Constructor Detail |
---|
protected CTLAbstractNode()
Method Detail |
---|
public CTLNode[] getFairness()
getFairness
in interface CTLNode
public abstract CTLNode getLeft()
getLeft
in interface CTLNode
public abstract CTLNode getRight()
getRight
in interface CTLNode
protected abstract void setLeft(CTLNode l)
protected abstract void setRight(CTLNode r)
public CTLAndNode and(CTLNode psi)
and
in interface CTLNode
public CTLOrNode or(CTLNode psi)
or
in interface CTLNode
public CTLNegNode neg()
neg
in interface CTLNode
public CTLImplNode implies(CTLNode psi)
implies
in interface CTLNode
public CTLImplNode impliedBy(CTLNode psi)
impliedBy
in interface CTLNode
public CTLIffNode iff(CTLNode psi)
iff
in interface CTLNode
public CTLEXNode ex()
ex
in interface CTLNode
public CTLPreEXNode preEX()
preEX
in interface CTLNode
public CTLAXNode ax()
ax
in interface CTLNode
public CTLEFNode ef()
ef
in interface CTLNode
public CTLAFNode af()
af
in interface CTLNode
public CTLAFNode af(CTLNode[] fairness)
af
in interface CTLNode
public CTLEUNode eu(CTLNode psi)
eu
in interface CTLNode
public CTLEUiNode eu(int i, CTLNode psi)
eu
in interface CTLNode
public CTLAUNode au(CTLNode psi)
au
in interface CTLNode
public CTLAUiNode au(int i, CTLNode psi)
au
in interface CTLNode
public CTLARNode ar(CTLNode psi)
CTLNode
ar
in interface CTLNode
public CTLERNode er(CTLNode psi)
er
in interface CTLNode
public CTLAWNode aw(CTLNode psi)
aw
in interface CTLNode
public CTLEWNode ew(CTLNode psi)
ew
in interface CTLNode
public CTLEGNode eg()
eg
in interface CTLNode
public CTLEGNode eg(CTLNode[] fairness)
eg
in interface CTLNode
public CTLAGNode ag()
ag
in interface CTLNode
public CTLAGNode ag(CTLNode[] fairness)
ag
in interface CTLNode
public CTLEqualsNode eq(CTLNode psi)
eq
in interface CTLNode
public CTLUnderNode under(CTLNode psi)
under
in interface CTLNode
public CTLOverNode over(CTLNode psi)
over
in interface CTLNode
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.Object accept(CTLVisitor v, java.lang.Object stateinfo)
accept
in interface CTLNode
public int objectHashCode()
public static java.lang.String toString(CTLNode node, boolean optBrackets)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |