mCRL2
|
This file contains a specialisation for hashes on pairs. This is not a part of the standard, although it ought to be part. Once it has become a part of the standard, this can be removed. More...
Go to the source code of this file.
Classes | |
struct | std::hash< std::vector< X > > |
struct | std::hash< std::map< X, Y > > |
struct | std::hash< std::pair< X, Y > > |
Namespaces | |
namespace | mcrl2 |
A class that takes a linear process specification and checks all tau-summands of that LPS for confluence. | |
namespace | mcrl2::utilities |
namespace | mcrl2::utilities::detail |
namespace | std |
STL namespace. | |
Functions | |
std::size_t | mcrl2::utilities::detail::hash_combine (const std::size_t h1, const std::size_t h2) |
std::size_t | mcrl2::utilities::detail::hash_combine_cheap (const std::size_t seed, const std::size_t hash_number) |
Auxiliary function to combine seed with a hash number. | |
This file contains a specialisation for hashes on pairs. This is not a part of the standard, although it ought to be part. Once it has become a part of the standard, this can be removed.
Definition in file hash_utility.h.