std::list<Transition*> get_recipe() const { return recipe_; }
std::map<aid_t, ActorState> const& get_actors_list() const { return strategy_->actors_to_run_; }
unsigned long get_actor_count() const { return strategy_->actors_to_run_.size(); }
std::list<Transition*> get_recipe() const { return recipe_; }
std::map<aid_t, ActorState> const& get_actors_list() const { return strategy_->actors_to_run_; }
unsigned long get_actor_count() const { return strategy_->actors_to_run_.size(); }