-
Alexandre Duret-Lutz authored
Fixes #48. * src/tgbaalgos/powerset.cc, src/tgbaalgos/powerset.hh: Here. * src/tgbaalgos/minimize.cc: Adjust usage.
eadcf953
Fixes #48. * src/tgbaalgos/powerset.cc, src/tgbaalgos/powerset.hh: Here. * src/tgbaalgos/minimize.cc: Adjust usage.