spot  1.0.2
Modules
TA algorithms
TA (Testing Automata)

Modules

 Input/Output of TA
 Transforming TGBA into TA
 Algorithm patterns
 TA simplifications
 Miscellaneous algorithms on TA
 Emptiness-checks
 Check whether the language of a product (spot::ta_product) between a Kripke structure and a TA is empty. It works also for the product using Generalized TA (GTA and SGTA).

Detailed Description


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