-
Alexandre Duret-Lutz authored* src/tgbaalgos/powerset.cc, src/tgbaalgos/powerset.hh: Use tgba_digraph. * src/tgba/tgbagraph.hh: Improve interface. * src/tgbaalgos/minimize.cc, src/tgbatest/powerset.cc: Adjust.
d80a7cd9
* src/tgbaalgos/powerset.cc, src/tgbaalgos/powerset.hh: Use tgba_digraph. * src/tgba/tgbagraph.hh: Improve interface. * src/tgbaalgos/minimize.cc, src/tgbatest/powerset.cc: Adjust.