Stateflow

Every Operator

Syntax

every(n, E)

where E is the base event for the at operator and n is any expression that evaluates to an integer value.

Semantics

The at operator is true at every nth occurrence of the base event E since activation of the associated state.

Note    The every operator resets its counter for E to 0 each time the associated state is activated. As a result, this operator is useful only in state during actions.

Usage

The following example illustrate use of the at operator in a state during.

Heater_on
on every(10, CLK): status("heater on";

This example causes the Heater_on state to display a status message every 10 CLK cycles after activation of the associated state.

At Operator

Temporal Logic Events