25 #include "misc/common.hh"
35 SPOT_API twa_graph_ptr
40 SPOT_API twa_graph_ptr
SPOT_API twa_graph_ptr tgba_dupexp_bfs(const const_twa_ptr &aut, twa::prop_set p)
Build an explicit automaton from all states of aut, numbering states in bread first order as they are...
SPOT_API twa_graph_ptr tgba_dupexp_dfs(const const_twa_ptr &aut, twa::prop_set p)
Build an explicit automaton from all states of aut, numbering states in depth first order as they are...