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;
47 unsigned long long transitions;
50 std::ostream& dump(std::ostream& out)
const;
70 print(std::ostream& os,
const char*)
const override;
84 void print(std::ostream& os,
const char* pos)
const override;
90 std::unique_ptr<scc_info> val_;
92 void automaton(
const const_twa_graph_ptr& aut)
94 val_ = std::make_unique<scc_info>(aut);
102 void print(std::ostream& os,
const char* pos)
const override;
An acceptance condition.
Definition: acc.hh:62
Definition: formater.hh:44
Definition: formater.hh:31
prints various statistics about a TGBA
Definition: stats.hh:111
std::ostream & print(const const_twa_graph_ptr &aut, formula f=nullptr)
print the configured statistics.
ta_statistics stats_reachable(const const_ta_ptr &t)
Compute statistics for an automaton.
twa_sub_statistics sub_stats_reachable(const const_twa_ptr &g)
Compute sub statistics for an automaton.
Definition: automata.hh:27