spot
1.0.2
Main Page
Related Pages
Modules
Namespaces
Classes
Files
Modules
Here is a list of all modules:
[detail level
1
2
3
4
]
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-checks
Check 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 algorithms
Whether a word is bare
Hashing functions
Random functions
Please
comment
this page and
report errors
about it on
the RefDocComments page
.
Generated on Wed Mar 6 2013 09:25:18 for spot by
1.8.1.2