spot 2.12.2
|
Hash Function for state*
.
More...
#include <spot/twa/twa.hh>
Public Member Functions | |
size_t | operator() (const state *that) const |
Hash Function for state*
.
This is meant to be used as a hash functor for an unordered_map
whose keys are of type state*
.
For instance here is how one could declare a map of state*
.