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
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