1 #include "fsm/scd_sts_terminated.h"
3 #include "scd_logging.h"
4 #include "scd_exception.h"
7 void scd_sts_terminated::set_busy()
9 scd_error("received further events while synchronizing (terminate)");
13 void scd_sts_terminated::set_idle(const sc_core::sc_time& time)
15 scd_error("received future events while synchronizing (terminate)");
19 bool scd_sts_terminated::active() const { return false; }