spot
2.3.3.dev
|
This class provides a hasher as required by the bricks classes. More...
#include <spot/ltsmin/spins_kripke.hh>
Public Member Functions | |
cspins_state_hasher (cspins_state &) | |
brick::hash::hash128_t | hash (cspins_state t) const |
bool | equal (cspins_state lhs, cspins_state rhs) const |
This class provides a hasher as required by the bricks classes.