spot 2.2.2

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

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

## Classes
class | spot::fair_kripke_succ_iterator
| Iterator code for a Fair Kripke structure. More...
class | spot::fair_kripke
| Interface for a Fair Kripke structure. More...
class | spot::kripke_succ_iterator
| Iterator code for Kripke structure. More...
class | spot::kripke
| Interface for a Kripke structure. More...

## Detailed Description

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