23 #ifndef SPOT_TGBAALGOS_DUPEXP_HH
24 # define SPOT_TGBAALGOS_DUPEXP_HH
26 # include "tgba/tgbaexplicit.hh"
33 SPOT_API tgba_explicit_number*
38 SPOT_API tgba_explicit_number*
44 SPOT_API tgba_explicit_number*
46 std::map<
const state*,
const state*,
47 state_ptr_less_than>& relation);
51 SPOT_API tgba_explicit_number*
53 std::map<
const state*,
const state*,
54 state_ptr_less_than>& relation);
57 #endif // SPOT_TGBAALGOS_DUPEXP_HH
SPOT_API tgba_explicit_number * tgba_dupexp_dfs(const tgba *aut)
Build an explicit automata from all states of aut, numbering states in depth first order as they are ...
SPOT_API tgba_explicit_number * tgba_dupexp_bfs(const tgba *aut)
Build an explicit automata from all states of aut, numbering states in bread first order as they are ...