spot  2.8.3
TA (Testing Automata)


 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
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.8.13