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

#include <probabilistic_data_expression.h>

Public Member Functions
std::size_t	operator() (const mcrl2::lps::probabilistic_data_expression &p) const

Detailed Description

Definition at line 560 of file probabilistic_data_expression.h.

Member Function Documentation

operator()()

std::size_t std::hash< mcrl2::lps::probabilistic_data_expression >::operator() ( const mcrl2::lps::probabilistic_data_expression &  p ) const

inline

Definition at line 562 of file probabilistic_data_expression.h.

---

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

• lps/include/mcrl2/lps/probabilistic_data_expression.h