20 #ifndef SPOT_TAALGOS_STATS_HH
21 # define SPOT_TAALGOS_STATS_HH
36 unsigned acceptance_states;
38 std::ostream&
dump(std::ostream& out)
const;
47 #endif // SPOT_TAALGOS_STATS_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
SPOT_API ta_statistics stats_reachable(const ta *t)
Compute statistics for an automaton.
A Testing Automaton.
Definition: ta.hh:78
SPOT_API std::ostream & dump(std::ostream &os, const formula *f)
Dump a formula tree.