X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/39c935d6d5ee86d153f6f7e6a10d723ae7c57f6f..e93b242ba3891342ca1957d4c767aefd26b066a1:/src/mc/Transition.hpp

diff --git a/src/mc/Transition.hpp b/src/mc/Transition.hpp
index 2527d8c7be..17754e6cbe 100644
--- a/src/mc/Transition.hpp
+++ b/src/mc/Transition.hpp
@@ -7,6 +7,9 @@
 #ifndef SIMGRID_MC_TRANSITION_HPP
 #define SIMGRID_MC_TRANSITION_HPP
 
+#include "simgrid/forward.h" // aid_t
+#include <string>
+
 namespace simgrid {
 namespace mc {
 
@@ -20,7 +23,7 @@ namespace mc {
  */
 class Transition {
 public:
-  int pid_ = 0;
+  aid_t aid_ = 0;
 
   /* Which transition was executed for this simcall
    *
@@ -30,7 +33,10 @@ public:
    *
    * * random can produce different values.
    */
-  int argument_ = 0;
+  int times_considered_ = 0;
+
+  /* Textual representation of the transition, to display backtraces */
+  std::string textual;
 };
 
 } // namespace mc