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


  • std::hash
  • std::hash


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.