Essential TA types

Classes
class	spot::ta
	A Testing Automaton. More...
class	spot::ta_succ_iterator
	Iterate over the successors of a state. More...
class	spot::tgta
	A Transition-based Generalized Testing Automaton (TGTA). More...

Detailed Description