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;
59 SPOT_API
unsigned long long
73 print(std::ostream& os,
const char*)
const override;
87 void print(std::ostream& os,
const char* pos)
const override;
93 std::unique_ptr<scc_info> val_;
95 void automaton(
const const_twa_graph_ptr& aut)
97 val_ = std::make_unique<scc_info>(aut);
105 void print(std::ostream& os,
const char* pos)
const override;
111 unsigned reachable_ = 0;
114 void set(
unsigned reachable,
unsigned all)
116 reachable_ = reachable;
120 void print(std::ostream& os,
const char* pos)
const override;
126 unsigned long long reachable_ = 0;
127 unsigned long long all_ = 0;
129 void set(
unsigned long long reachable,
unsigned long long all)
131 reachable_ = reachable;
135 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:144
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.
unsigned long long count_all_transitions(const const_twa_graph_ptr &g)
Count all transtitions, even unreachable ones.
twa_sub_statistics sub_stats_reachable(const const_twa_ptr &g)
Compute sub statistics for an automaton.
Definition: automata.hh:27