From: Ehsan Azimi <eazimi@ehsan.irisa.fr>
Date: Tue, 8 Dec 2020 09:23:32 +0000 (+0100)
Subject: mcapi::compare_pair() in insert_acceptance_pair()
X-Git-Tag: v3.26~13^2~34
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/c6c7e9aaac3b743f24a2be104fa027645a20217a?ds=sidebyside

mcapi::compare_pair() in insert_acceptance_pair()
---

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index 3dc51c7cef..98e3c78c76 100644
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -81,7 +81,7 @@ std::shared_ptr<VisitedPair> LivenessChecker::insert_acceptance_pair(simgrid::mc
   auto new_pair =
       std::make_shared<VisitedPair>(pair->num, pair->automaton_state, pair->atomic_propositions, pair->graph_state);
 
-  auto res = boost::range::equal_range(acceptance_pairs_, new_pair.get(), DerefAndCompareByActorsCountAndUsedHeap());
+  auto res = boost::range::equal_range(acceptance_pairs_, new_pair.get(), mcapi::get().compare_pair());
 
   if (pair->search_cycle) for (auto i = res.first; i != res.second; ++i) {
     std::shared_ptr<simgrid::mc::VisitedPair> const& pair_test = *i;
diff --git a/src/mc/mc_private.hpp b/src/mc/mc_private.hpp
index d8455b9b75..8bb642ee24 100644
--- a/src/mc/mc_private.hpp
+++ b/src/mc/mc_private.hpp
@@ -12,18 +12,6 @@
 #include "src/mc/mc_forward.hpp"
 #include "src/xbt/memory_map.hpp"
 
-namespace simgrid {
-namespace mc {
-
-struct DerefAndCompareByActorsCountAndUsedHeap {
-  template <class X, class Y> bool operator()(X const& a, Y const& b) const
-  {
-    return std::make_pair(a->actors_count, a->heap_bytes_used) < std::make_pair(b->actors_count, b->heap_bytes_used);
-  }
-};
-}
-}
-
 /********************************* MC Global **********************************/
 
 XBT_PRIVATE void MC_init_dot_output();