spot  2.11.3
TωA (Transition-based ω-Automata)


 Kripke Structures
 Essential TωA types
 TωA representations
 TωA algorithms

Detailed Description

Spot is centered around the spot::twa type. This type and its cousins are listed here. This is an abstract interface. Its implementations are either concrete representations, or on-the-fly algorithms. Other algorithms that work on spot::twa are listed separately.

Please direct any question, comment, or bug report to the Spot mailing list at
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1