27 #include "misc/formater.hh"
41 std::ostream&
dump(std::ostream& out)
const;
46 unsigned sub_transitions;
49 std::ostream&
dump(std::ostream& out)
const;
69 print(std::ostream& os,
const char*)
const;
87 print(
const const_twa_graph_ptr& aut,
const ltl::formula* f = 0,
88 double run_time = -1.);
SPOT_API tgba_statistics stats_reachable(const const_twa_ptr &g)
Compute statistics for an automaton.
Definition: formater.hh:42
prints various statistics about a TGBA
Definition: stats.hh:77
SPOT_API std::ostream & dump(std::ostream &os, const formula *f)
Dump a formula tree.
SPOT_API tgba_sub_statistics sub_stats_reachable(const const_twa_ptr &g)
Compute sub statistics for an automaton.