mCRL2
|
specialization of the standard std::hash function. More...
#include <aterm_container.h>
Public Member Functions | |
std::size_t | operator() (const atermpp::detail::reference_aterm< T > &t) const |
specialization of the standard std::hash function.
Definition at line 493 of file aterm_container.h.
|
inline |
Definition at line 495 of file aterm_container.h.