mCRL2
|
specialization of the standard std::hash function for an action_label_string. More...
#include <lts_lts.h>
Public Member Functions | |
std::size_t | operator() (const mcrl2::lts::action_label_lts &as) const |
specialization of the standard std::hash function for an action_label_string.
|
inline |