...

• Entry && I / O=true;
• During && I /O=false;
• Exit && I1 / I1=true, I2=false;
• Exit && [I1 &&I2] / I1=true, I2=false;

Entry

is an Effect.

EntryAction returns sgraph::Effect:
{EntryAction} 'Entry' ''/' effect=ReactionEffect ';';

Inside

is an Effect.

InsideAction returns sgraph::Effect:
{InsideAction} 'Inside'  '/' effect=ReactionEffect ';';

Exit

is an Effect

ExitAction returns sgraph::Effect:
{ExitAction} 'Exit'  '/' effect=ReactionEffect ';';

Suspend

is a Trigger.

...

• Entry && # I / O=true;

Transition

Question: use the commutativity of AND and OR?  if(A!=null &&  A.val=1)?