Implement the RandomTransition

[simgrid.git] / src / mc / api / Transition.cpp

diff --git a/src/mc/api/Transition.cpp b/src/mc/api/Transition.cpp
index 79d7d62..c964e68 100644 (file)
--- a/src/mc/api/Transition.cpp
+++ b/src/mc/api/Transition.cpp
@@ -5,7 +5,9 @@
 
 #include "src/mc/api/Transition.hpp"
 #include "xbt/asserts.h"
+#include "xbt/string.hpp"
 #include <simgrid/config.h>
+
 #if SIMGRID_HAVE_MC
 #include "src/mc/ModelChecker.hpp"
 #endif
@@ -40,6 +42,17 @@ void Transition::replay() const
   mc_model_checker->wait_for_requests();
 #endif
 }
+std::string RandomTransition::to_string(bool verbose)
+{
+  return xbt::string_printf("Random([%d;%d] ~> %d)", min_, max_, times_considered_);
+}
+
+RandomTransition::RandomTransition(aid_t issuer, int times_considered, char* buffer)
+    : Transition(issuer, times_considered)
+{
+  std::stringstream stream(buffer);
+  stream >> min_ >> max_;
+}
 
 } // namespace mc
 } // namespace simgrid