25 #include <spot/twa/twa.hh>
26 #include <spot/twaalgos/sccinfo.hh>
28 #include <spot/misc/formater.hh>
42 std::ostream& dump(std::ostream& out)
const;
50 std::ostream& dump(std::ostream& out)
const;
70 print(std::ostream& os,
const char*)
const override;
76 std::unique_ptr<scc_info> val_;
78 void automaton(
const const_twa_graph_ptr& aut)
80 val_ = std::unique_ptr<scc_info>(
new scc_info(aut));
88 void print(std::ostream& os,
const char* pos)
const override;
106 print(
const const_twa_graph_ptr& aut,
formula f =
nullptr,
107 double run_time = -1.);
Definition: sccinfo.hh:27
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:96
Definition: formater.hh:29
twa_statistics stats_reachable(const const_twa_ptr &g)
Compute statistics for an automaton.