spot  1.0
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 Sat Oct 27 2012 09:34:33 for spot by doxygen 1.8.1.2