spot  2.3
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
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 direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu Jan 19 2017 11:08:40 for spot by doxygen 1.8.8