PreCondDescclass | action.t[126] |
Superclass Tree | Subclass Tree | Global Objects | Property Summary | Method Summary | Property Details | Method Details |
class
PreCondDesc : object
arg_ | action.t[145] |
cond_ | action.t[142] |
index_ | action.t[148] |
checkPreCondition (allowImplicit) | action.t[135] |
construct (cond, arg) | action.t[127] |