spot 2.14.5
Loading...
Searching...
No Matches
Classes
TωA runs and supporting functions
TωA (Transition-based ω-Automata) » TωA algorithms » Emptiness-checks

Classes

struct  spot::twa_run
 An accepted run, for a twa. 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 doxygen 1.15.0