mCRL2
Loading...
Searching...
No Matches
std::hash< mcrl2::data::variable > Struct Reference

#include <variable.h>

Public Member Functions

 hash ()
 
std::size_t operator() (const mcrl2::data::variable &v) const
 

Detailed Description

Definition at line 130 of file variable.h.

Constructor & Destructor Documentation

◆ hash()

std::hash< mcrl2::data::variable >::hash ( )
inline

Definition at line 133 of file variable.h.

Member Function Documentation

◆ operator()()

std::size_t std::hash< mcrl2::data::variable >::operator() ( const mcrl2::data::variable v) const
inline

Definition at line 136 of file variable.h.


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