|
spot
2.3.3.dev
|
This class provides the ability to compare two states. More...
#include <spot/ltsmin/spins_kripke.hh>

Public Member Functions | |
| bool | operator() (const cspins_state lhs, const cspins_state rhs) const |
This class provides the ability to compare two states.
1.8.13