Miscellaneous algorithms on TA

Classes
struct	spot::ta_statistics

Functions
ta_statistics	spot::stats_reachable (const const_ta_ptr &t)
	Compute statistics for an automaton. More...

Detailed Description

Function Documentation

stats_reachable()

ta_statistics spot::stats_reachable

(

const const_ta_ptr &

t

)

#include <spot/taalgos/stats.hh>

Compute statistics for an automaton.