State Properties
dialog box
- General
tab— Allows you to specify the state name
and whether the state is the default state. If you specify the
state as the default state, it is also the initial and reset
state.
- Incoming Transitions
tab— Displays each source state for the
selected destination state and the transition equations. You can
edit the transition equations.
- Outgoing Transitions
tab— Displays each destination state for
the selected source state and the transition equations. You can
edit the transition equations.
- Action
tab— Lists the output ports, the output
values for each port, and any additional conditions. You can edit
the output values and specify additional conditions, as well as
create new actions for existing output ports.
- Format
tab— Allows you to specify the fill color
of the state symbol.