X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/623108a0b5b82da1c8d27a6b4c897961d352b8de..8052f28d5b5a9d88b6724dff2e5e81dee10065d7:/src/mc/explo/odpor/odpor_forward.hpp

diff --git a/src/mc/explo/odpor/odpor_forward.hpp b/src/mc/explo/odpor/odpor_forward.hpp
index dc1e4bd2a0..52388bcda1 100644
--- a/src/mc/explo/odpor/odpor_forward.hpp
+++ b/src/mc/explo/odpor/odpor_forward.hpp
@@ -13,16 +13,18 @@
 
 #include "src/mc/mc_forward.hpp"
 #include <list>
+#include <memory>
 #include <simgrid/forward.h>
 
 namespace simgrid::mc::odpor {
 
-using ProcessSequence   = std::list<aid_t>;
-using ExecutionSequence = std::list<const Transition*>;
+using PartialExecution = std::list<std::shared_ptr<Transition>>;
 
 class Event;
 class Execution;
+class ReversibleRaceCalculator;
 class WakeupTree;
+class WakeupTreeNode;
 class WakeupTreeIterator;
 
 } // namespace simgrid::mc::odpor