Add complicated computation of v ~_E w to Execution

[simgrid.git] / 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 33366e1..11161c6 100644 (file)
--- a/src/mc/explo/odpor/odpor_forward.hpp
+++ b/src/mc/explo/odpor/odpor_forward.hpp
@@ -13,11 +13,12 @@
 
 #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 PartialExecution  = std::list<std::shared_ptr<Transition>>;
 using ExecutionSequence = std::list<const Transition*>;
 
 class Event;