spot
1.2.4
|
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). | |