|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface CTLNode
This is an abstract CTL node.
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 |
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. |
CTLNode |
getLeft()
Retrieves the left child of the CTLNode. |
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. |
CTLOrNode |
or(CTLNode psi)
CTL operation - disjunction. |
CTLOverNode |
over(CTLNode psi)
CTL operation - over |
CTLPreEXNode |
preEX()
|
CTLUnderNode |
under(CTLNode psi)
CTL operation - under |
Method Detail |
---|
CTLNode getLeft()
CTLNode getRight()
CTLNode[] getFairness()
CTLAndNode and(CTLNode psi)
CTLOrNode or(CTLNode psi)
CTLNegNode neg()
CTLImplNode implies(CTLNode psi)
CTLImplNode impliedBy(CTLNode psi)
CTLIffNode iff(CTLNode psi)
CTLEXNode ex()
CTLPreEXNode preEX()
CTLAXNode ax()
CTLEFNode ef()
CTLAFNode af()
CTLAFNode af(CTLNode[] fairness)
CTLEUNode eu(CTLNode psi)
CTLEUiNode eu(int i, CTLNode psi)
CTLAUNode au(CTLNode psi)
CTLAUiNode au(int i, CTLNode psi)
CTLARNode ar(CTLNode psi)
CTLERNode er(CTLNode psi)
CTLAWNode aw(CTLNode psi)
CTLEWNode ew(CTLNode psi)
java.lang.Object accept(CTLVisitor v, java.lang.Object stateinfo)
CTLEGNode eg()
CTLEGNode eg(CTLNode[] fairness)
CTLAGNode ag()
CTLAGNode ag(CTLNode[] fairness)
CTLEqualsNode eq(CTLNode psi)
CTLUnderNode under(CTLNode psi)
CTLOverNode over(CTLNode psi)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |