-namespace simgrid {
-namespace mc {
-
-/** A hash which works with more stuff
- *
- * It can hash pairs: the standard hash currently doesn't include this.
- */
-template<class X> struct hash : public std::hash<X> {};
-
-template<class X, class Y>
-struct hash<std::pair<X,Y>> {
- std::size_t operator()(std::pair<X,Y>const& x) const
- {
- struct hash<X> h1;
- struct hash<X> h2;
- return h1(x.first) ^ h2(x.second);
- }
-};
-
-struct ComparisonState {
- std::unordered_set<std::pair<void*, void*>, hash<std::pair<void*, void*>>> compared_pointers;
-};
-
-}
-}
-
-using simgrid::mc::ComparisonState;
-