spot
0.8.3
|
Go to the source code of this file.
Classes | |
struct | spot::tgba_statistics |
struct | spot::tgba_sub_statistics |
Namespaces | |
namespace | spot |
Functions | |
tgba_statistics | spot::stats_reachable (const tgba *g) |
Compute statistics for an automaton. | |
tgba_sub_statistics | spot::sub_stats_reachable (const tgba *g) |
Compute subended statistics for an automaton. |