mcrl2/utilities/hash_utility.h

Include file:

#include "mcrl2/utilities/hash_utility.h"

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.

Jan Friso Groote

Classes

  • std::hash

  • std::hash

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.