spot
2.8.5
Modules
Here is a list of all modules:
[detail level
1
2
3
4
]
▼
Hard-coded families of formulas or automata.
Hard-coded families of automata.
Hard-coded families of formulas.
▼
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-checks
▼
Temporal Logic
Essential Temporal Logic Types
Input and Output of Formulas
Rewriting Algorithms for Formulas
Algorithms related to the temporal hierarchy
Miscellaneous Algorithms for Formulas
▼
TωA (Transition-based ω-Automata)
Kripke Structures
Essential TωA types
TωA representations
▼
TωA algorithms
Language containment checks
TωA on-the-fly algorithms
Input/Output of TωA
Stutter-invariance checks and related functions
▼
Conversion between acceptance conditions
Algorithms for parity acceptance
Translating LTL formulas into TωA
Algorithm patterns
TωA simplifications
Miscellaneous algorithms on TωA
▼
Emptiness-checks
Emptiness-check algorithms
TωA 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 Fri Feb 27 2015 10:00:07 for spot by
1.8.13