|
spot
2.1
|
Classes | |
| class | spot::bdd_dict |
| Map BDD variables to formulae. More... | |
| struct | spot::bdd_dict::bdd_info |
| class | spot::state |
| Abstract class for states. More... | |
| struct | spot::state_ptr_less_than |
Strict Weak Ordering for state*. More... | |
| struct | spot::state_ptr_equal |
An Equivalence Relation for state*. More... | |
| struct | spot::state_ptr_hash |
Hash Function for state*. More... | |
| class | spot::state_unicity_table |
| Render state pointers unique via a hash table. More... | |
| struct | spot::state_shared_ptr_less_than |
Strict Weak Ordering for shared_state (shared_ptr<const state*>). More... | |
| struct | spot::state_shared_ptr_equal |
An Equivalence Relation for shared_state (shared_ptr<const state*>). More... | |
| struct | spot::state_shared_ptr_hash |
Hash Function for shared_state (shared_ptr<const state*>). More... | |
| class | spot::twa_succ_iterator |
| Iterate over the successors of a state. More... | |
| class | spot::twa |
| A Transition-based ω-Automaton. More... | |
| struct | spot::twa::prop_set |
| A structure for selecting a set of automaton properties to copy. More... | |
Enumerations | |
| enum | var_type { anon = 0, var, acc } |
1.8.8