mCRL2
|
specialization of the standard std::hash function. More...
#include <partial_order_reduction.h>
Public Member Functions | |
std::size_t | operator() (const mcrl2::pbes_system::summand_equivalence_key &x) const |
specialization of the standard std::hash function.
Definition at line 176 of file partial_order_reduction.h.
|
inline |
Definition at line 178 of file partial_order_reduction.h.