spot
1.1.4
|
Go to the source code of this file.
Classes | |
struct | spot::tgba_statistics |
struct | spot::tgba_sub_statistics |
class | spot::printable_formula |
class | spot::stat_printer |
prints various statistics about a TGBA More... | |
Namespaces | |
spot | |
Functions | |
tgba_statistics | spot::stats_reachable (const tgba *g) |
Compute statistics for an automaton. More... | |
tgba_sub_statistics | spot::sub_stats_reachable (const tgba *g) |
Compute subended statistics for an automaton. More... | |