mCRL2
Loading...
Searching...
No Matches
hash_utility.h File Reference

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.
 

Detailed Description

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.

Author
Jan Friso Groote

Definition in file hash_utility.h.