spot::ta_statistics Struct Reference
Collaboration diagram for spot::ta_statistics:
Public Member Functions | |
| std::ostream & | dump (std::ostream &out) const |
Public Attributes | |
| unsigned | edges |
| unsigned | states |
| unsigned | acceptance_states |
The documentation for this struct was generated from the following file:
- spot/taalgos/stats.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