spot
1.2.6
|
Modules | |
Kripke Structures | |
Essential TGBA types | |
TGBA representations | |
TGBA algorithms | |
Classes | |
class | spot::future_conditions_collector |
Wrap a tgba to offer information about upcoming conditions. More... | |
class | spot::tgba_scc |
Wrap a tgba to offer information about strongly connected components. More... | |
Spot is centered around the spot::tgba 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::tgba are listed separately.