dupexp.hh 516 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#ifndef SPOT_TGBAALGOS_DUPEXPL_HH
# define SPOT_TGBAALGOS_DUPEXPL_HH

# include "tgba/tgbaexplicit.hh"

namespace spot
{
  /// Build an explicit automata from all states of \a aut, numbering
  /// states in bread first order as they are processed.
  tgba_explicit* tgba_dupexp_bfs(const tgba* aut);
  /// Build an explicit automata from all states of \a aut, numbering
  /// states in depth first order as they are processed.
  tgba_explicit* tgba_dupexp_dfs(const tgba* aut);
}

#endif // SPOT_TGBAALGOS_DUPEXPL_HH