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.