MC: Kill the now useless code State::get_recipe

diff --git a/src/mc/api/State.cpp b/src/mc/api/State.cpp
index 34a41d6..a178f55 100644 (file)
--- a/src/mc/api/State.cpp
+++ b/src/mc/api/State.cpp
@@ -91,16 +91,6 @@ std::size_t State::count_todo_multiples() const
   return count;
 }
 
-std::deque<Transition*>& State::get_recipe()
-{
-  if (recipe_.empty()) {
-    for (const auto* s = this; s != nullptr; s = s->get_parent_state().get())
-      if (s->get_transition_in() != nullptr)
-        recipe_.push_front(s->get_transition_in().get());
-  }
-  return recipe_;
-}
-
 aid_t State::next_transition() const
 {
   XBT_DEBUG("Search for an actor to run. %zu actors to consider", strategy_->actors_to_run_.size());

diff --git a/src/mc/api/State.hpp b/src/mc/api/State.hpp
index 95526e9..e60e547 100644 (file)
--- a/src/mc/api/State.hpp
+++ b/src/mc/api/State.hpp
@@ -27,9 +27,6 @@ class XBT_PRIVATE State : public xbt::Extendable<State> {
   /** @brief The incoming transition is what led to this state, coming from its parent  */
   std::shared_ptr<Transition> incoming_transition_ = nullptr;
 
-  /** @brief A list of transition to be replayed in order to get in this state. */
-  std::deque<Transition*> recipe_{};
-
   /** Sequential state ID (used for debugging) */
   long num_ = 0;
 
@@ -79,7 +76,6 @@ public:
   std::shared_ptr<Transition> get_transition_out() const { return outgoing_transition_; }
   std::shared_ptr<Transition> get_transition_in() const { return incoming_transition_; }
   std::shared_ptr<State> get_parent_state() const { return parent_state_; }
-  std::deque<Transition*>& get_recipe();
 
   std::map<aid_t, ActorState> const& get_actors_list() const { return strategy_->actors_to_run_; }