spot
0.8.3
|
#include "tgba/tgbaexplicit.hh"
Go to the source code of this file.
Namespaces | |
namespace | spot |
Functions | |
tgba_explicit * | 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 * | 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. |