(fsm ..state-clauses) state-clauses: zero or more forms
C
Defines a set of mutually exclusive states.
The immediate children of an fsm
clause must all be state
or
state*
clauses.
The only effect of the fsm
clause is that, when one of its immediate children would
be enabled, and one of its other children is already active, the active child
is automatically disabled first.