Stateflow

Temporal Logic Operators

Temporal logic operators are Boolean operators that operate on recurrence counts of Stateflow events. Stateflow defines the following temporal operators

• after
• before
• at
• every

The following sections explain the syntax and meaning of these operators and gives examples of their usage.

Usage Rules

The following rules apply generally to use of temporal logic operators.

• The recurring event on which a temporal operator operates is called the base event. Any Stateflow event can serve as a base event for a temporal operator.

Note that temporal logic operators cannot operate on recurrences of implicit events, such as state entry or exit events.

• Temporal logic operators can appear only in conditions on transitions originating from states and in state actions.

Note that this means you cannot use temporal logic operators as conditions on default transitions or flow graph transitions.

The state on which the temporally conditioned transition originates or in whose during action the condition appears is called the temporal operator's associated state.

• You must use event notation (see Temporal Logic Events) to express temporal logic conditions on events in state during actions.

The following diagram illustrates the usage and terminology that apply to temporal logic operators

.

Comments

After Operator