#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 | stats_reachable (const tgba *g) |
Compute statistics for an automata. |
|
Compute statistics for an automata.
|