std::hash< mcrl2::data::function_sort > Struct Reference

#include <function_sort.h>

Public Member Functions
std::size_t	operator() (const mcrl2::data::function_sort &v) const

Detailed Description

Definition at line 204 of file function_sort.h.

Member Function Documentation

operator()()

std::size_t std::hash< mcrl2::data::function_sort >::operator() ( const mcrl2::data::function_sort &  v ) const

inline

Definition at line 206 of file function_sort.h.

---

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

• data/include/mcrl2/data/function_sort.h