Stateflow

Using Temporal Logic

Temporal logic operators are Boolean operators that operate on recurrence counts of Stateflow events. See the following subsections for individual descriptions of each temporal logic operator:

• Rules for Using Temporal Logic Operators -- Gives you the rules for using temporal logic operators.
• after Temporal Logic Operator -- Shows you how to use the after temporal logic operator.
• before Temporal Logic Operator -- Shows you how to use the before temporal logic operator.
• at Temporal Logic Operator -- Shows you how to use the at temporal logic operator.
• every Temporal Logic Operator -- Shows you how to use the every temporal logic operator.
• Conditional and Event Notation -- Describes the two types of notation you can use for temporal logic operations in action language.
• Temporal Logic Events -- Shows you how you temporal logic is a single event equivalent to accumulated base events.

Condition Statements

Rules for Using Temporal Logic Operators