spot::enumerate_cycles::dfs_entry Struct Reference
Collaboration diagram for spot::enumerate_cycles::dfs_entry:
Public Member Functions | |
| dfs_entry (unsigned s) noexcept | |
Public Attributes | |
| unsigned | s |
| unsigned | succ = 0U |
| bool | f = false |
The documentation for this struct was generated from the following file:
- spot/twaalgos/cycles.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