|
spot
2.3.3.dev
|
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... | |
1.8.13