spot 2.12.2
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 Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.4