-
Alexandre Duret-Lutz authored
Instead of adding one set per term in the DNF, reuse the removed Fin(x) sets as Inf(x) sets. * src/tgbaalgos/remfin.cc: Here. * src/tgbatest/remfin.test: Additional test.
9ccbc349
Instead of adding one set per term in the DNF, reuse the removed Fin(x) sets as Inf(x) sets. * src/tgbaalgos/remfin.cc: Here. * src/tgbatest/remfin.test: Additional test.