spot 2.3.1

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

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

## Classes
class | spot::ta_explicit
class | spot::state_ta_explicit
struct | spot::state_ta_explicit::transition
| Explicit transitions. More...
class | spot::tgta_explicit

## Detailed Description

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