spot  0.8.1
Namespaces | Functions
dupexp.hh File Reference
#include "tgba/tgbaexplicit.hh"
Include dependency graph for dupexp.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.

Please comment this page and report errors about it on the RefDocComments page.
Generated on Sun Dec 18 2011 12:57:15 for spot by doxygen 1.7.6.1