#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. |