spot::enumerate_cycles::state_info Struct Reference

Collaboration diagram for spot::enumerate_cycles::state_info:

Public Member Functions
	state_info (unsigned num)

Public Attributes
bool	seen
bool	reach
bool	mark
std::vector< bool >	del
std::vector< unsigned >	b

---

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

• spot/twaalgos/cycles.hh