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
6
namespace
std
{
7
template
<>
8
struct
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
Definition
DFTIsomorphism.h:691
std::hash< std::pair< uint_fast64_t, uint_fast64_t > >::operator()
std::size_t operator()(std::pair< uint_fast64_t, uint_fast64_t > const &key) const
Definition
PairHash.h:9
src
storm
storage
PairHash.h
Generated by
1.9.8