spot 2.12.2
|
The hasher for the previous uf_element. Shortcut to ease shared map manipulation. More...
#include <spot/mc/bloemen.hh>
Public Member Functions | |
uf_element_hasher (const uf_element *) | |
brick::hash::hash128_t | hash (const uf_element *lhs) const |
bool | equal (const uf_element *lhs, const uf_element *rhs) const |
The hasher for the previous uf_element. Shortcut to ease shared map manipulation.