mCRL2
|
specialization of the standard std::hash function. More...
#include <tagged_pointer.h>
Public Member Functions | |
std::size_t | operator() (const mcrl2::utilities::tagged_pointer< T > &p) const |
specialization of the standard std::hash function.
Definition at line 190 of file tagged_pointer.h.
|
inline |
Definition at line 192 of file tagged_pointer.h.