spot  1.1.3
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

 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. More...
 
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. More...
 
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. More...
 
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. More...
 

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jul 9 2013 14:04:33 for spot by doxygen 1.8.4