std::hash< mcrl2::utilities::big_natural_number > Struct Reference

#include <big_numbers.h>

Public Member Functions
std::size_t	operator() (const mcrl2::utilities::big_natural_number &n) const

Detailed Description

Definition at line 832 of file big_numbers.h.

Member Function Documentation

operator()()

std::size_t std::hash< mcrl2::utilities::big_natural_number >::operator() ( const mcrl2::utilities::big_natural_number &  n ) const

inline

Definition at line 834 of file big_numbers.h.

---

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

• utilities/include/mcrl2/utilities/big_numbers.h