Page History

...

A Transition is defined by a Reaction, consisting of a Trigger and an Effect. 

Transition Trigger

...

A trigger:

• can be a Signal, 
• a boolean Variable
• an Expression
• can be immediate (optional)
• delay (optional)

...

Examples:

• S
• [S1 && S2]
• #_S
• #_3 S

Transition Effect

...

Info
icon false title ReactionEffect returns sgraph::Effect:
{ReactionEffect} actions+=Expression (=> ',' actions+=Expression)*;

...