X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0cfb40d124549f4dde6f00095847de0d04828adf..ba666a6a712100f93603aec9ea1d37b563c82955:/src/mc/Transition.hpp

diff --git a/src/mc/Transition.hpp b/src/mc/Transition.hpp
index c0a6d0af6e..6b616cdfe4 100644
--- a/src/mc/Transition.hpp
+++ b/src/mc/Transition.hpp
@@ -1,4 +1,4 @@
-/* Copyright (c) 2015-2016. The SimGrid Team.
+/* Copyright (c) 2015-2021. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
@@ -13,13 +13,14 @@ namespace mc {
 /** An element in the recorded path
  *
  *  At each decision point, we need to record which process transition
- *  is trigerred and potentially which value is associated with this
- *  transition. The value is used to find which communication is triggerred
+ *  is triggered and potentially which value is associated with this
+ *  transition. The value is used to find which communication is triggered
  *  in things like waitany and for associating a given value of MC_random()
  *  calls.
  */
-struct Transition {
-  int pid = 0;
+class Transition {
+public:
+  int pid_ = 0;
 
   /* Which transition was executed for this simcall
    *
@@ -29,10 +30,13 @@ struct Transition {
    *
    * * random can produce different values.
    */
-  int argument = 0;
+  int times_considered_ = 0;
+
+  /* Textual representation of the transition, to display backtraces */
+  char textual[200];
 };
 
-}
-}
+} // namespace mc
+} // namespace simgrid
 
 #endif