std::hash< mcrl2::lps::multi_action > Struct Reference

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

#include <multi_action.h>

Public Member Functions
std::size_t	operator() (const mcrl2::lps::multi_action &ma) const

Detailed Description

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

Definition at line 399 of file multi_action.h.

Member Function Documentation

operator()()

std::size_t std::hash< mcrl2::lps::multi_action >::operator() ( const mcrl2::lps::multi_action &  ma ) const

inline

Definition at line 401 of file multi_action.h.

---

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

• lps/include/mcrl2/lps/multi_action.h