Class NON_TERMINAL_STATE

Definition of a non-terminal state in a state machine, i.e. one that has transitions.

Declaration :

Artifact : NON_TERMINAL_STATE

Relation transitions (<directional composition>)

Declaration :