std::hash< mcrl2::lts::action_label_string > Struct Reference

specialization of the standard std::hash function for an action_label_string. More...

#include <action_label_string.h>

Public Member Functions
std::size_t	operator() (const mcrl2::lts::action_label_string &as) const

Detailed Description

specialization of the standard std::hash function for an action_label_string.

Definition at line 213 of file action_label_string.h.

Member Function Documentation

operator()()

std::size_t std::hash< mcrl2::lts::action_label_string >::operator() ( const mcrl2::lts::action_label_string &  as ) const

inline

Definition at line 215 of file action_label_string.h.

---

The documentation for this struct was generated from the following file:

• lts/include/mcrl2/lts/action_label_string.h