spot::cspins_iterator::cspins_iterator_param Struct Reference

Collaboration diagram for spot::cspins_iterator::cspins_iterator_param:

Public Attributes
cspins_state	s
const spot::spins_interface *	d
cspins_state_manager &	manager
inner_callback_parameters &	inner
cube	cond
bool	compress
bool	selfloopize
spot::cubeset &	cubeset
int	dead_idx
unsigned	tid

---

The documentation for this struct was generated from the following file:

• spot/ltsmin/spins_kripke.hh