Go to the source code of this file.
Namespaces |
namespace | spot |
Functions |
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.
|
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.
|
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.
|
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.
|