spot  1.0.1
Classes | Functions
Miscellaneous algorithms on TA
TA algorithms

Classes

struct  spot::ta_statistics

Functions

ta_statistics spot::stats_reachable (const ta *t)
 Compute statistics for an automaton.

Detailed Description

Function Documentation

ta_statistics spot::stats_reachable ( const ta *  t)

Compute statistics for an automaton.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Jan 23 2013 15:00:02 for spot by doxygen 1.8.1.2