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
Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on for spot by
1.15.0