bool is_done(aid_t actor) const { return actors_to_run_.at(actor).is_done(); }
Transition* get_transition() const;
void set_transition(Transition* t) { transition_.reset(t); }
- std::map<aid_t, ActorState> const& get_actors_list() { return actors_to_run_; }
+ std::map<aid_t, ActorState> const& get_actors_list() const { return actors_to_run_; }
- int get_actor_count() { return actors_to_run_.size(); }
+ unsigned long get_actor_count() const { return actors_to_run_.size(); }
bool is_actor_enabled(int actor) { return actors_to_run_.at(actor).is_enabled(); }
Snapshot* get_system_state() const { return system_state_.get(); }