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.