-
Alexandre Duret-Lutz authored
The weak complementation is now implemented by dtgba_complement(), with dispatch based on the automaton property. * src/tgba/wdbacomp.cc, src/tgba/wdbacomp.hh: Remove. * src/tgba/Makefile.am: Adjust. * src/tgbaalgos/dtgbacomp.cc: Implement the weak version. * src/tgbaalgos/dtgbacomp.hh: Document it. * src/tgbaalgos/minimize.cc: Use dtgba_complement() instead.
359e0c6f