Stateflow User's Guide

Using Temporal Logic in Actions

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.

Directed Event Broadcasting

Rules for Using Temporal Logic Operators

© 1994-2005 The MathWorks, Inc.