-
Alexandre Duret-Lutz authored
Fixes #50. * src/tgbaalgos/cycles.cc, src/tgbaalgos/cycles.hh: Rewrite using unsigned instead of state*, and std::vector instead of std::map. * src/tgbaalgos/isweakscc.cc, src/tgbaalgos/powerset.cc: Adjust.
1411fa60
Fixes #50. * src/tgbaalgos/cycles.cc, src/tgbaalgos/cycles.hh: Rewrite using unsigned instead of state*, and std::vector instead of std::map. * src/tgbaalgos/isweakscc.cc, src/tgbaalgos/powerset.cc: Adjust.