mCRL2
Loading...
Searching...
No Matches
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 205 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 207 of file function_sort.h.


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