-
Alexandre Duret-Lutz authored
* src/tgbaalgos/dtgbacomp.cc, src/tgbaalgos/dtgbacomp.hh: Rewrite. Also prefer simple loops over reachiter. * src/tgbatest/det.test: Adjust.
ead04cb1
* src/tgbaalgos/dtgbacomp.cc, src/tgbaalgos/dtgbacomp.hh: Rewrite. Also prefer simple loops over reachiter. * src/tgbatest/det.test: Adjust.