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::make_unique<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: automata.hh:26
twa_sub_statistics sub_stats_reachable(const const_twa_ptr &g)
Compute sub statistics for an automaton.
Definition: formater.hh:45
prints various statistics about a TGBA
Definition: stats.hh:96
Definition: formater.hh:32
twa_statistics stats_reachable(const const_twa_ptr &g)
Compute statistics for an automaton.