mCRL2
|
#include <variable.h>
Public Member Functions | |
hash () | |
std::size_t | operator() (const mcrl2::data::variable &v) const |
Definition at line 130 of file variable.h.
|
inline |
Definition at line 133 of file variable.h.
|
inline |
Definition at line 136 of file variable.h.