Displays the condition equation for each of the state
transitions.
- Source State— Displays the name of source state for each transition.
- Destination State— Displays the name of destination state for each transition.
- Condition— Displays the equation condition that causes the transition from source state to destination state.