spot  1.99.3
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
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
 Miscellaneous helper functions
 Hashing functions
 Random functions
 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
 TωA (Transition-based ω-Automata)
 Kripke Structures
 Essential TωA types
 TGBA representations
 TGBA algorithms
 TGBA on-the-fly algorithms
 Input/Output of TGBA
 Translating LTL formulae into TGBA
 Algorithm patterns
 TGBA simplifications
 Miscellaneous algorithms on TGBA
 Emptiness-checks
 Emptiness-check algorithms
 TGBA runs and supporting functions
 Emptiness-check statistics

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Wed Aug 26 2015 08:42:40 for spot by doxygen 1.8.8