spot  1.2.4
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Modules
Here is a list of all modules:
[detail level 1234]
oLTL formulae
|oEssential LTL types
|oLTL Abstract Syntax Tree
|oLTL environments
|\Algorithms for LTL formulae
| oInput/Output of LTL formulae
| oDerivable visitors
| oRewriting LTL formulae
| \Miscellaneous algorithms for LTL formulae
oSABA (State-based Alternating Büchi Automata)
|\Essential SABA types
oTA (Testing Automata)
|oEssential TA types
|oTA representations
|\TA algorithms
| oInput/Output of TA
| oTransforming TGBA into TA
| oAlgorithm patterns
| oTA simplifications
| oMiscellaneous 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
oTGBA (Transition-based Generalized Büchi Automata)
|oKripke Structures
|oEssential TGBA types
|oTGBA representations
|\TGBA algorithms
| oTGBA on-the-fly algorithms
| oInput/Output of TGBA
| |\Decorating the dot output
| oTranslating LTL formulae into TGBA
| oAlgorithm patterns
| oTGBA simplifications
| oMiscellaneous algorithms on TGBA
| \Emptiness-checks
|  oEmptiness-check algorithms for SSP
|  oEmptiness-check algorithms
|  oTGBA runs and supporting functions
|  \Emptiness-check statistics
\Miscellaneous helper algorithmsWhether a word is bare
 oHashing functions
 \Random functions

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu May 15 2014 11:04:16 for spot by doxygen 1.8.4