KIELER Project


Get me back to the home page!

Page tree

Versions Compared

Old Version 35

changes.mady.by.user Unknown User (wah)

Saved on

compared with

New Version 36

changes.mady.by.user Unknown User (wah)

Saved on

Key

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

...

  • Entry && S
  • During && S 
  • Exit && S 
  • Exit && [S1 &&S2] 
  • Entry && # S 
  • Entry && # 3 S
LocalReaction Effect

...

Info
iconfalse
titleReactionEffect returns sgraph::Effect:

{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.

 

Image Added

Transition Trigger:

The trigger can be a Signal, a boolean Variable or an Expression.

Info
iconfalse
titleReactionTrigger returns sgraph::Trigger:

{ReactionTrigger} (isImmediate?='#')? (delay=INT)? ((triggers+=RegularEventSpec) | ('[' guardExpression=Expression ']'));