spot::twa_reachable_iterator_depth_first::stack_item Struct Reference

Collaboration diagram for spot::twa_reachable_iterator_depth_first::stack_item:

Public Attributes
const state *	src
int	src_n
twa_succ_iterator *	it

---

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

• spot/twaalgos/reachiter.hh