1 #include "fsm/scd_cont_fsm.h"
3 #include "scd_logging.h"
4 #include "scd_cont_state.h"
7 void scd_cont_fsm::set_state(scd_cont_state& state)
10 scd_debug(_name + ": [" + _state->get_name() +"]");
14 void scd_cont_fsm::save_state()
20 void scd_cont_fsm::save_state(scd_cont_state& state)
26 void scd_cont_fsm::load_state()
29 scd_debug(_name + ": [" + _state->get_name() +"]");