mCRL2

specialization of the standard std::hash function. More...
#include <probabilistic_arbitrary_precision_fraction.h>
Public Member Functions  
std::size_t  operator() (const mcrl2::lts::probabilistic_arbitrary_precision_fraction &p) const 
specialization of the standard std::hash function.
Definition at line 324 of file probabilistic_arbitrary_precision_fraction.h.

inline 
Definition at line 326 of file probabilistic_arbitrary_precision_fraction.h.