|
spot
1.2.6
|
Classes | |
| class | spot::explicit_state_conjunction |
| Basic implementation of saba_state_conjunction. More... | |
| class | spot::saba |
| A State-based Alternating (Generalized) Büchi Automaton. More... | |
| class | spot::saba_state |
| Abstract class for saba states. More... | |
| struct | spot::saba_state_ptr_less_than |
Strict Weak Ordering for saba_state*. More... | |
| struct | spot::saba_state_ptr_equal |
An Equivalence Relation for saba_state*. More... | |
| struct | spot::saba_state_ptr_hash |
Hash Function for saba_state*. More... | |
| struct | spot::saba_state_shared_ptr_less_than |
Strict Weak Ordering for shared_saba_state (shared_ptr<const saba_state*>). More... | |
| struct | spot::saba_state_shared_ptr_equal |
An Equivalence Relation for shared_saba_state (shared_ptr<const saba_state*>). More... | |
| struct | spot::saba_state_shared_ptr_hash |
Hash Function for shared_saba_state (shared_ptr<const saba_state*>). More... | |
| class | spot::saba_state_conjunction |
| Iterate over a conjunction of saba_state. More... | |
| class | spot::saba_succ_iterator |
| Iterate over the successors of a saba_state. More... | |
1.8.4