stats.hh File Reference

#include "tgba/tgba.hh"

Include dependency graph for stats.hh:

Go to the source code of this file.

Namespaces
namespace	spot
Classes
struct	spot::tgba_statistics
Functions
tgba_statistics	spot::stats_reachable (const tgba *g)
	Compute statistics for an automaton.

---

Please comment this page and report errors about it on the RefDocComments page.