Page History
...
- Entry && S
- During && S
- Exit && S
- Exit && [S1 &&S2]
- Entry && # S
- Entry && # 3 S
LocalReaction Effect
...
Info | ||||
---|---|---|---|---|
| ||||
{ReactionEffect} actions+=Expression (=> ',' actions+=Expression)*; |
Example:
- I / Suspend;
- / O=false;
- / I1=true, I2=false;
- / I1=true, I2=false;
- / O=true;
Transition
Question: use the commutativity of AND and OR? if(A!=null && A.val=1)?A Transition is defined by a Reaction, consisting of a Trigger and an Effect.
Transition Trigger:
The trigger can be a Signal, a boolean Variable or an Expression.
Info | ||||
---|---|---|---|---|
| ||||
{ReactionTrigger} (isImmediate?='#')? (delay=INT)? ((triggers+=RegularEventSpec) | ('[' guardExpression=Expression ']')); |
Overview
Content Tools