spot 2.3.3

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

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

## Classes
class | spot::twa_reachable_iterator
| Iterate over all reachable states of a spot::tgba. More...
class | spot::twa_reachable_iterator_breadth_first
| An implementation of spot::twa_reachable_iterator that browses states breadth first. More...
class | spot::twa_reachable_iterator_depth_first
| Iterate over all states of an automaton using a DFS. More...
struct | spot::twa_reachable_iterator_depth_first::stack_item
class | spot::twa_reachable_iterator_depth_first_stack
| Iterate over all states of an automaton using a DFS. More...

## Detailed Description

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