Go to the source code of this file.
|
tgba_explicit_number * | spot::tgba_dupexp_bfs (const tgba *aut) |
| Build an explicit automata from all states of aut, numbering states in bread first order as they are processed. More...
|
|
tgba_explicit_number * | spot::tgba_dupexp_dfs (const tgba *aut) |
| Build an explicit automata from all states of aut, numbering states in depth first order as they are processed. More...
|
|
tgba_explicit_number * | spot::tgba_dupexp_bfs (const tgba *aut, std::map< const state *, const state *, state_ptr_less_than > &relation) |
| Build an explicit automata from all states of aut, numbering states in bread first order as they are processed. More...
|
|
tgba_explicit_number * | spot::tgba_dupexp_dfs (const tgba *aut, std::map< const state *, const state *, state_ptr_less_than > &relation) |
| Build an explicit automata from all states of aut, numbering states in depth first order as they are processed. More...
|
|