mCRL2
|
hash specialization More...
#include <identifier_string.h>
Public Member Functions | |
std::size_t | operator() (const mcrl2::core::identifier_string &x) const |
hash specialization
Definition at line 81 of file identifier_string.h.
|
inline |
Definition at line 83 of file identifier_string.h.