spot 2.2.2

- Main Page
- Related Pages
- Modules
- Classes
- Files

All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Classes
Essential TA types
TA (Testing Automata)

## 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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.