mCRL2
|
Standard hash function. More...
#include <aterm_balanced_tree.h>
Public Member Functions | |
std::size_t | operator() (const atermpp::term_balanced_tree< T > &t) const |
Standard hash function.
Definition at line 467 of file aterm_balanced_tree.h.
|
inline |
Definition at line 469 of file aterm_balanced_tree.h.