Add preliminary tests for checking event conflicts

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

diff --git a/src/mc/explo/udpor/EventSet.hpp b/src/mc/explo/udpor/EventSet.hpp
index e49e1db..d4ed132 100644 (file)
--- a/src/mc/explo/udpor/EventSet.hpp
+++ b/src/mc/explo/udpor/EventSet.hpp
@@ -147,6 +147,8 @@ public:
    * @brief Moves the event set into a list
    */
   std::vector<const UnfoldingEvent*> move_into_vector() const&&;
+
+  using const_iterator = std::unordered_set<const UnfoldingEvent*>::const_iterator;
 };
 
 } // namespace simgrid::mc::udpor