- /* Callbacks into the GUI */
- void open_door () const;
- void close_door () const;
- void update_position () const;
+
+ /* State Machine: Helper Functions */
+ Event find_next_event () const;
+
+ /* State Machine: Transition Functions */
+ void transition_move_up ();
+ void transition_move_down ();
+ void transition_move_idle ();
+ void transition_open_door ();
+ void transition_close_door ();
+ void transition_begin_wait ();
+ void transition_continue_wait ();