User`s guide

Model Coverage for Stateflow Charts
18-49
Context Example Decisions That Occur
and not to the parent state A. In
this case, the transition marked
by condition C2 is tested and a
decision is made whether to take the
transition to A2 or not.
Implicit substate
exit
A transition takes place whose source is
superstate A and whose destination is
state B.
If the superstate has two exclusive
(OR) substates, it is the decision
of superstate A which substate
performs the implicit transition from
substate to superstate.
Substate entry
with a history
junction
A history junction records which substate
was last active before the superstate was
exited.
If that superstate becomes
the destination of one or more
transitions, the history junction
decides which previously active
substate to enter.
For more information, see “State Details Report Section” on page 18-56.