X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/41887885e1953cb056594145190e30088f9b6d03..8cb67632980ded866c69cbd6c8a354e85a10cbec:/src/mc/Transition.hpp

diff --git a/src/mc/Transition.hpp b/src/mc/Transition.hpp
index 90e6976ec6..95089a1ce8 100644
--- a/src/mc/Transition.hpp
+++ b/src/mc/Transition.hpp
@@ -40,10 +40,10 @@ public:
    */
   int times_considered_ = 0;
 
+  void init(aid_t aid, int times_considered);
+
   std::string to_string() const;
 
-  /* Explore a new path */
-  RemotePtr<simgrid::kernel::actor::SimcallObserver> execute(simgrid::mc::State* state, int next);
   /* Moves the application toward a path that was already explored, but don't change the current transition */
   RemotePtr<simgrid::kernel::actor::SimcallObserver> replay() const;