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