|
spot
2.3.3.dev
|
Modules | |
| 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). | |
1.8.13