spot  1.0.2
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 Mar 6 2013 09:25:15 for spot by doxygen 1.8.1.2