return boost::range::count_if(this->guide->actors_to_run_, [](auto& pair) { return pair.second.is_todo(); });
}
-void State::mark_all_enabled_todo()
-{
- for (auto const& [aid, _] : this->get_actors_list()) {
- if (this->is_actor_enabled(aid) and not is_actor_done(aid)) {
- this->mark_todo(aid);
- }
- }
-}
-
Transition* State::get_transition() const
{
return transition_;
}
-// This should be intierely done in GuidedState
aid_t State::next_transition() const
{
XBT_DEBUG("Search for an actor to run. %zu actors to consider", guide->actors_to_run_.size());
return -1;
}
+std::pair<aid_t, double> State::next_transition_guided() const
+{
+ return guide->next_transition();
+}
+
// This should be done in GuidedState, or at least interact with it
void State::execute_next(aid_t next, RemoteApp& app)
{