Move the selection of the next transition to execute to mc::State

[simgrid.git] / src / mc / Transition.hpp

diff --git a/src/mc/Transition.hpp b/src/mc/Transition.hpp
index 44c86e6..a51e996 100644 (file)
--- a/src/mc/Transition.hpp
+++ b/src/mc/Transition.hpp
@@ -41,8 +41,13 @@ public:
   int times_considered_ = 0;
 
   std::string to_string();
-  RemotePtr<simgrid::kernel::actor::SimcallObserver> execute();
 
+  /* 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();
+
+  /* Returns the total amount of transitions executed so far (for statistics) */
   static unsigned long get_executed_transitions() { return executed_transitions_; }
 };