Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
PairHash.h
Go to the documentation of this file.
1#ifndef STORM_STORAGE_PAIRHASH_H_
2#define STORM_STORAGE_PAIRHASH_H_
3
4#include <boost/functional/hash.hpp>
5
6namespace std {
7template<>
8struct hash<std::pair<uint_fast64_t, uint_fast64_t>> {
9 std::size_t operator()(std::pair<uint_fast64_t, uint_fast64_t> const& key) const {
10 std::size_t seed = 0;
11 boost::hash_combine(seed, key.first);
12 boost::hash_combine(seed, key.second);
13 return seed;
14 }
15};
16} // namespace std
17
18#endif /* STORM_STORAGE_PAIRHASH_H_ */
std::size_t operator()(std::pair< uint_fast64_t, uint_fast64_t > const &key) const
Definition PairHash.h:9