Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members

tgbaalgos/dupexp.hh File Reference

#include "tgba/tgbaexplicit.hh"

Include dependency graph for dupexp.hh:

Include dependency graph

Go to the source code of this file.

Namespaces

namespace  spot

Functions

tgba_explicit * tgba_dupexp_bfs (const tgba *aut)
tgba_explicit * tgba_dupexp_dfs (const tgba *aut)


Function Documentation

tgba_explicit* 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* 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 Fri Aug 13 14:43:03 2004 for spot by doxygen 1.3.8