Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  • 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 ';';

...