X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/59a2292cca5e121a5db0c933112d4c421ded712a..639c6962daa378323864a53174e0e7fe2fcaef1e:/src/mc/api/State.cpp diff --git a/src/mc/api/State.cpp b/src/mc/api/State.cpp index ba6c78784d..868d8fbe6d 100644 --- a/src/mc/api/State.cpp +++ b/src/mc/api/State.cpp @@ -64,21 +64,11 @@ 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_; } -// 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()); @@ -103,6 +93,11 @@ aid_t State::next_transition() const return -1; } +std::pair 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) {