-
Alexandre Duret-Lutz authored
* src/dstarparse/nra2nba.cc: Produce tgba_digraph instead of tgba_explicit_number. * src/tgbaalgos/sccinfo.hh (is_useful_state): Make sure it is reachable.
9923cbaa
* src/dstarparse/nra2nba.cc: Produce tgba_digraph instead of tgba_explicit_number. * src/tgbaalgos/sccinfo.hh (is_useful_state): Make sure it is reachable.