std::hash< mcrl2::lps::state_probability_pair< STATE, PROBABILITY > > Struct Template Reference

#include <state_probability_pair.h>

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

Detailed Description

template<class STATE, class PROBABILITY>
struct std::hash< mcrl2::lps::state_probability_pair< STATE, PROBABILITY > >

Definition at line 115 of file state_probability_pair.h.

Member Function Documentation

operator()()

template<class STATE , class PROBABILITY >

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

inline

Definition at line 117 of file state_probability_pair.h.

---

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

• lps/include/mcrl2/lps/state_probability_pair.h