25 #include <spot/twa/twa.hh>
27 #include <spot/misc/formater.hh>
41 std::ostream& dump(std::ostream& out)
const;
49 std::ostream& dump(std::ostream& out)
const;
69 print(std::ostream& os,
const char*)
const override;
87 print(
const const_twa_graph_ptr& aut,
formula f =
nullptr,
88 double run_time = -1.);
twa_sub_statistics sub_stats_reachable(const const_twa_ptr &g)
Compute sub statistics for an automaton.
Definition: formater.hh:42
prints various statistics about a TGBA
Definition: stats.hh:77
twa_statistics stats_reachable(const const_twa_ptr &g)
Compute statistics for an automaton.