• Alexandre Duret-Lutz's avatar
    dupexp, simulation: use tgba_digraph. · 92eed082
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/dupexp.cc, src/tgbaalgos/dupexp.hh: Produce
    a tgba_digraph instead of a tgba_explicit_number.
    * src/tgbaalgos/simulation.cc: First pass to adjust to the use of
    tgba_digraph as a return of tgba_dupexp_dfs() and tgba_dupexp_bfs().
    Some maps have been replaced by vectors because states are indexed,
    but more simplifications could be done.
    92eed082
simulation.cc 47.7 KB