spot 2.3.4

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

All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Modules
TωA (Transition-based ω-Automata)

## Modules
| Kripke Structures
| Essential TωA types
| TωA representations
| TωA algorithms

## Detailed Description

Spot is centered around the spot::twa type. This type and its cousins are listed here. This is an abstract interface. Its implementations are either concrete representations, or on-the-fly algorithms. Other algorithms that work on spot::twa are listed separately.

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