|
| cspins_iterator (cspins_state s, const spot::spins_interface *d, cspins_state_manager &manager, inner_callback_parameters &inner, cube cond, bool compress, bool selfloopize, cubeset &cubeset, int dead_idx, unsigned tid) |
|
void | recycle (cspins_state s, const spot::spins_interface *d, cspins_state_manager &manager, inner_callback_parameters &inner, cube cond, bool compress, bool selfloopize, cubeset &cubeset, int dead_idx, unsigned tid) |
|
void | next () |
|
bool | done () const |
|
cspins_state | state () const |
|
cube | condition () const |
|
The documentation for this class was generated from the following file: