mCRL2

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 
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.

inline 
Definition at line 376 of file probabilistic_state.h.