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.