StateMachine.h

void sm_startup(void);


void sm_stop_button_pushed(void);


int sm_check_order_buttons_and_add_orders_to_queue(void);


void sm_order_button_is_pushed(void);


int sm_elevator_has_arrived_at_floor(int FloorNumber);


void sm_close_door(void);


void sm_order_lights_update(void);


void light_show(void);