spot 2.3.3

- Main Page
- Related Pages
- Modules
- Classes
- Files

All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Classes | Enumerations
Essential TωA types
TωA (Transition-based ω-Automata)

## 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...

## Enumerations
enum | var_type { anon = 0, var, acc }

## Detailed Description

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.