Stateflow

Conditional and Event Notation

Stateflow treats the following notations as equivalent,

• E[tlo(n, E) && C]
  tlo(n, E)[C]
  

where tlo is a temporal logic operator (after, before, at, every), E is the operator's base event, n is the operator's occurrence count, and C is any conditional expression. For example, the following expressions are functionally equivalent in Stateflow:

• CLK[after(10, CLK) && temp == COLD]
  after(10, CLK)[temp == COLD]
  

The first notation is referred to as the conditional notation for temporal logic operators and the second notation as the event notation.

Note    You can use conditional and event notation interchangeably in transition expressions. However, you must use the event notation in state during actions.

every Temporal Logic Operator

Temporal Logic Events