-
Alexandre Duret-Lutz authored
* src/tgbaalgos/dupexp.cc, src/tgbaalgos/dupexp.hh: Return the association between new states and old states in a vector instead of a map. * src/tgbaalgos/simulation.cc: Adjust.
32a0db6a
* src/tgbaalgos/dupexp.cc, src/tgbaalgos/dupexp.hh: Return the association between new states and old states in a vector instead of a map. * src/tgbaalgos/simulation.cc: Adjust.