-/* Copyright (c) 2015-2016. The SimGrid Team.
+/* Copyright (c) 2015-2022. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
#ifndef SIMGRID_MC_TRANSITION_HPP
#define SIMGRID_MC_TRANSITION_HPP
+#include "simgrid/forward.h" // aid_t
+#include <string>
+
namespace simgrid {
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:
+ aid_t aid_ = 0;
/* Which transition was executed for this simcall
*
*
* * 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
+} // namespace simgrid
#endif