|
spot
1.2.6
|
Classes | |
| struct | spot::ta_statistics |
Functions | |
| SPOT_API ta_statistics | spot::stats_reachable (const ta *t) |
| Compute statistics for an automaton. More... | |
| SPOT_API ta_statistics spot::stats_reachable | ( | const ta * | t) |
Compute statistics for an automaton.
1.8.4