Merge branch 'udpor-phase4' into 'master'

[simgrid.git] / src / mc / explo / udpor / udpor_forward.hpp

diff --git a/src/mc/explo/udpor/udpor_forward.hpp b/src/mc/explo/udpor/udpor_forward.hpp
index 6dff0eb..865df16 100644 (file)
--- a/src/mc/explo/udpor/udpor_forward.hpp
+++ b/src/mc/explo/udpor/udpor_forward.hpp
@@ -14,10 +14,11 @@
 namespace simgrid::mc::udpor {
 
 class EventSet;
-class UnfoldingEvent;
 class Configuration;
-class StateManager;
-using StateHandle = unsigned long long;
+class History;
+class Unfolding;
+class UnfoldingEvent;
+class maximal_subsets_iterator;
 
 } // namespace simgrid::mc::udpor