|
spot
2.3.3.dev
|
Modules | |
| Kripke Structures | |
| Essential TωA types | |
| TωA representations | |
| TωA algorithms | |
Spot is centered around the spot::twa type. This type and its cousins are listed here. This is an abstract interface. Its implementations are either concrete representations, or on-the-fly algorithms. Other algorithms that work on spot::twa are listed separately.
1.8.13