A state transition table is an alternative way of expressing sequential modal logic. Instead of drawing states and transitions graphically in a Stateflow® chart, use state transition tables to express the modal logic in tabular format. State transition tables are supported only as blocks in a Simulink® model. For more information, see State Transition Tables in Stateflow.
You can run diagnostic checks on a state transition table. From the Stateflow Editor, in the Debug tab, select Update Model > Update Chart.
The diagnostics tool statically parses the table to find errors such as:
States with no incoming transitions
Transition cells with conditions or actions, but no destination
Action text in a condition cell
States that are unreachable from the default transition
Default transition row without unconditional transition
Inner transition row execution order mismatches. The inner transition row for a state must specify destination states from left to right in the same order as the corresponding states appear in the table, from top to bottom.
Each error is reported with a hyperlink to the corresponding object causing the error. These checks are also performed during simulation.