1 #include "fsm/scd_stm_fail.h"
3 #include "scd_logging.h"
4 #include "scd_exception.h"
5 #include "scd_cont_man_master.h"
8 void scd_stm_fail::process()
10 if (!_some_slaves_active())
12 // all slaves have terminated
13 _sim.get_chan_man().close();
15 _fsm.set_state(_st_failed);