module documentation
        
        Undocumented
| Class |  | The user can derive FSM contexts from this class and interface to them with the methods of this class. | 
| Class |  | base State class | 
| Exception |  | A StateUndefinedException is thrown by an SMC-generated state machine whenever a transition is taken and there is no state currently set. This occurs when a transition is issued from within a transition action. | 
| Exception |  | A TransitionUndefinedException is thrown by an SMC-generated state machine whenever a transition is taken which: |