A few calls to mc_model_checker less by passing more parameters

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

diff --git a/src/mc/explo/udpor/Unfolding.hpp b/src/mc/explo/udpor/Unfolding.hpp
index 471e04330a2b778bf703de2216b88fb138007a39..01c76637d47f164177de122a1820eef3a7b7fa2f 100644 (file)
--- a/src/mc/explo/udpor/Unfolding.hpp
+++ b/src/mc/explo/udpor/Unfolding.hpp
@@ -24,15 +24,16 @@ private:
    * of the addresses that are referenced by EventSet instances and Configuration
    * instances. UDPOR guarantees that events are persisted for as long as necessary
    */
-  std::unordered_map<UnfoldingEvent*, std::unique_ptr<UnfoldingEvent>> global_events_;
+  std::unordered_map<const UnfoldingEvent*, std::unique_ptr<UnfoldingEvent>> global_events_;
 
 public:
   Unfolding()                       = default;
   Unfolding& operator=(Unfolding&&) = default;
   Unfolding(Unfolding&&)            = default;
 
-  void remove(UnfoldingEvent* e);
+  void remove(const UnfoldingEvent* e);
   void insert(std::unique_ptr<UnfoldingEvent> e);
+  bool contains_event_equivalent_to(const UnfoldingEvent* e) const;
 
   size_t size() const { return this->global_events_.size(); }
   bool empty() const { return this->global_events_.empty(); }