|
spot
2.3.3.dev
|
Modules | |
| Essential Temporal Logic Types | |
| Input and Output of Formulas | |
| Rewriting Algorithms for Formulas | |
| Miscellaneous Algorithms for Formulas | |
Spot supports the future-time fragment of LTL, and the linear-time fragment of and PSL formulas. The former is included in the latter. Both types of formulas are represented by instances of the spot::formula class.
1.8.13