Add hash function for IntervalDomain

Summary: Move hash function for IntervalDomain from MT to sparta since it appears quite re-usable. Reviewed By: arnaudvenet Differential Revision: D48239105 fbshipit-source-id: 2bff16f61d839aa1fc4cf71b3574a8c3c95feb2e
facebook · Aug 11, 2023 · 1765fe6 · 1765fe6
1 parent 13f839d
commit 1765fe6
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/source/ClassIntervals.h b/source/ClassIntervals.h
@@ -74,14 +74,3 @@ class ClassIntervals final {
 };
 
 } // namespace marianatrench
-
-template <>
-struct std::hash<marianatrench::ClassIntervals::Interval> {
-  std::size_t operator()(
-      const marianatrench::ClassIntervals::Interval& interval) const {
-    std::size_t seed = 0;
-    boost::hash_combine(seed, interval.lower_bound());
-    boost::hash_combine(seed, interval.upper_bound());
-    return seed;
-  }
-};