mCRL2
|
Specialisation of the standard hash function for _function_symbol. More...
#include <function_symbol_hash.h>
Public Member Functions | |
std::size_t | operator() (const atermpp::detail::_function_symbol &f) const |
Specialisation of the standard hash function for _function_symbol.
Definition at line 35 of file function_symbol_hash.h.
|
inline |
Definition at line 37 of file function_symbol_hash.h.