-
Alexandre Duret-Lutz authored
* src/tgbaalgos/cycles.cc, src/tgbaalgos/cycles.hh, src/tgbaalgos/isweakscc.hh: Improve .doc * src/tgbaalgos/isweakscc.cc (weak_checker::cycle_found): Scan the DFS backward so we only look at the cycle part.
92e37998
* src/tgbaalgos/cycles.cc, src/tgbaalgos/cycles.hh, src/tgbaalgos/isweakscc.hh: Improve .doc * src/tgbaalgos/isweakscc.cc (weak_checker::cycle_found): Scan the DFS backward so we only look at the cycle part.