State State() ~State() run() <<typedef>> StatePtr states_ map_ handler_ events_ <<typedef>> StateHandler <<typedef>> Event <<typedef>> EventPtr StateModel NEW_ST END_ST SM_DERIVED_STATE_MIN NOP_EVT START_EVT END_EVT FAIL_EVT SM_DERIVED_EVENT_MIN dictionaries_initted_ curr_state_ prev_state_ last_event_ next_event_ on_entry_flag_ on_exit_flag_ StateModel() ~StateModel() startModel() runModel() endModel() nopStateHandler() initDictionaries() defineEvents() defineEvent() getEvent() verifyEvents() defineStates() defineState() getState() verifyStates() onModelFailure() transition() abortModel() setState() postNextEvent() doOnEntry() doOnExit() getCurrState() getPrevState() getLastEvent() getNextEvent() isModelNew() isModelRunning() isModelWaiting() isModelDone() didModelFail() getEventLabel() getStateLabel() getContextStr() getPrevContextStr() LabeledValueSet UNDEFINED_LABEL LabeledValueSet() ~LabeledValueSet() add() add() get() isDefined() getLabel() <<typedef>> LabeledValueMap StateSet StateSet() ~StateSet() add() getState() <<typedef>> LabeledValuePtr LabeledValue value_ label_ LabeledValue() ~LabeledValue() getValue() getLabel() operator ==() operator !=() operator <()