spot
0.8.2
|
Classes | |
class | spot::future_conditions_collector |
Wrap a tgba to offer information about upcoming conditions.This class is a spot::tgba wrapper that simply add a new method, future_conditions(), to any spot::tgba. More... | |
class | spot::tgba_scc |
Wrap a tgba to offer information about strongly connected components.This class is a spot::tgba wrapper that simply add a new method scc_of_state() to retrieve the number of a SCC a state belongs to. More... | |
Modules | |
Kripke Structures | |
Essential TGBA types | |
TGBA representations | |
TGBA algorithms |
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.