spot  1.0.2
Modules
TA (Testing Automata)

Modules

 Essential TA types
 TA representations
 TA algorithms

Detailed Description

This type and its cousins are listed here. This is an abstract interface. Its implementations are concrete representations. The algorithms that work on spot::ta are listed separately.


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