23 #ifndef SPOT_TGBAALGOS_STATS_HH
24 # define SPOT_TGBAALGOS_STATS_HH
26 #include "tgba/tgba.hh"
28 #include "misc/formater.hh"
42 std::ostream&
dump(std::ostream& out)
const;
47 unsigned sub_transitions;
50 std::ostream&
dump(std::ostream& out)
const;
70 print(std::ostream& os,
const char*)
const;
89 double run_time = -1.);
109 #endif // SPOT_TGBAALGOS_STATS_HH
SPOT_API ta_statistics stats_reachable(const ta *t)
Compute statistics for an automaton.
Definition: formater.hh:43
prints various statistics about a TGBA
Definition: stats.hh:78
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67
SPOT_API std::ostream & dump(std::ostream &os, const formula *f)
Dump a formula tree.
SPOT_API tgba_sub_statistics sub_stats_reachable(const tgba *g)
Compute subended statistics for an automaton.