std::hash< mcrl2::lts::probabilistic_state< STATE, PROBABILITY > > Struct Template Reference

Specialization of the standard std::hash function. More...

#include <probabilistic_state.h>

Public Member Functions
std::size_t	operator() (const mcrl2::lts::probabilistic_state< STATE, PROBABILITY > &p) const

Detailed Description

template<class STATE, class PROBABILITY>
struct std::hash< mcrl2::lts::probabilistic_state< STATE, PROBABILITY > >

Specialization of the standard std::hash function.

It is essential that this hash function yields the same has for a singular state in a distribution, stored as a number with implicit probability 1, or as a vector of length 1.

Definition at line 374 of file probabilistic_state.h.

Member Function Documentation

operator()()

template<class STATE , class PROBABILITY >

std::size_t std::hash< mcrl2::lts::probabilistic_state< STATE, PROBABILITY > >::operator() ( const mcrl2::lts::probabilistic_state< STATE, PROBABILITY > &  p ) const

inline

Definition at line 376 of file probabilistic_state.h.

---

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

• lts/include/mcrl2/lts/probabilistic_state.h