Description of a state machine

Contents

The description of a state machine contains:

· the list of states (with their "description" notes)

· state diagrams (with their "description" notes)

Generating states

All state machine states are displayed in the form of a bulleted list.

The title contains the name of the parent state, the "::" character, and then the name of the state.

The state's "description" notes are inserted.