spot::inner_callback_parameters Struct Reference

Collaboration diagram for spot::inner_callback_parameters:

Public Attributes
cspins_state_manager *	manager
std::vector< cspins_state > *	succ
int *	compressed
int *	uncompressed
bool	compress
bool	selfloopize

---

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

• spot/ltsmin/spins_kripke.hh