std::hash< mcrl2::core::identifier_string > Struct Reference

hash specialization More...

#include <identifier_string.h>

Public Member Functions
std::size_t	operator() (const mcrl2::core::identifier_string &x) const

Detailed Description

hash specialization

Definition at line 75 of file identifier_string.h.

Member Function Documentation

operator()()

std::size_t std::hash< mcrl2::core::identifier_string >::operator() ( const mcrl2::core::identifier_string &  x ) const

inline

Definition at line 77 of file identifier_string.h.

---

The documentation for this struct was generated from the following file:

• core/include/mcrl2/core/identifier_string.h