spot  1.2.1a
Modules
Here is a list of all modules:
[detail level 1234]
 LTL formulae
 Essential LTL types
 LTL Abstract Syntax Tree
 LTL environments
 Algorithms for LTL formulae
 Input/Output of LTL formulae
 Derivable visitors
 Rewriting LTL formulae
 Miscellaneous algorithms for LTL formulae
 SABA (State-based Alternating Büchi Automata)
 Essential SABA types
 TA (Testing Automata)
 Essential TA types
 TA representations
 TA algorithms
 Input/Output of TA
 Transforming TGBA into TA
 Algorithm patterns
 TA simplifications
 Miscellaneous algorithms on TA
 Emptiness-checksCheck whether the language of a product (spot::ta_product) between a Kripke structure and a TA is empty. It works also for the product using Generalized TA (GTA and SGTA)
 Emptiness-check algorithms
 TGBA (Transition-based Generalized Büchi Automata)
 Kripke Structures
 Essential TGBA types
 TGBA representations
 TGBA algorithms
 TGBA on-the-fly algorithms
 Input/Output of TGBA
 Decorating the dot output
 Translating LTL formulae into TGBA
 Algorithm patterns
 TGBA simplifications
 Miscellaneous algorithms on TGBA
 Emptiness-checks
 Emptiness-check algorithms for SSP
 Emptiness-check algorithms
 TGBA runs and supporting functions
 Emptiness-check statistics
 Miscellaneous helper algorithmsWhether a word is bare
 Hashing functions
 Random functions

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Jun 5 2015 11:31:24 for spot by doxygen 1.8.9.1