X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/39a55a31e73d079c92a37793c58453f219c341aa..639c6962daa378323864a53174e0e7fe2fcaef1e:/src/mc/api/State.cpp diff --git a/src/mc/api/State.cpp b/src/mc/api/State.cpp index 008a8443a4..868d8fbe6d 100644 --- a/src/mc/api/State.cpp +++ b/src/mc/api/State.cpp @@ -64,15 +64,6 @@ std::size_t State::count_todo() const 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_;