Clang-tidy: readability-qualified-auto.

[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 1a439c1855e3248190314de3108d016cb0d10b70..52388bcda1d6a2a1b37ceb1b29ace30fa016ace0 100644 (file)
--- a/src/mc/explo/odpor/odpor_forward.hpp
+++ b/src/mc/explo/odpor/odpor_forward.hpp
@@ -12,14 +12,20 @@
 #define SIMGRID_MC_ODPOR_FORWARD_HPP
 
 #include "src/mc/mc_forward.hpp"
+#include <list>
+#include <memory>
 #include <simgrid/forward.h>
 
 namespace simgrid::mc::odpor {
 
+using PartialExecution = std::list<std::shared_ptr<Transition>>;
+
 class Event;
 class Execution;
-class ExecutionView;
+class ReversibleRaceCalculator;
 class WakeupTree;
+class WakeupTreeNode;
+class WakeupTreeIterator;
 
 } // namespace simgrid::mc::odpor