Loading...
Searching...
No Matches
Essential TA types
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... | |
Detailed Description
Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on for spot by
1.15.0