+ std::map<aid_t, ActorState> const& get_actors_list() const { return actors_to_run_; }
+
+ unsigned long get_actor_count() const { return actors_to_run_.size(); }
+ bool is_actor_enabled(aid_t actor) { return actors_to_run_.at(actor).is_enabled(); }