Essential TGBA types
[TGBA (Transition-based Generalized Büchi Automata)]

Classes
class	spot::bdd_dict
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::tgba_succ_iterator
	Iterate over the successors of a state. More...
class	spot::tgba
	A Transition-based Generalized Büchi Automaton. More...

---

Please comment this page and report errors about it on the RefDocComments page.