Algorithm patterns

Classes
class	spot::bfs_steps
	Make a BFS in a spot::tgba to compute a twa_run::steps. More...
class	spot::twa_reachable_iterator
	Iterate over all reachable states of a spot::tgba. More...
class	spot::twa_reachable_iterator_breadth_first
	An implementation of spot::twa_reachable_iterator that browses states breadth first. More...
class	spot::twa_reachable_iterator_depth_first
	Iterate over all states of an automaton using a DFS. More...
class	spot::twa_reachable_iterator_depth_first_stack
	Iterate over all states of an automaton using a DFS. More...

Detailed Description