-
Guillaume Sadegh authored
* src/tgba/tgbacomplement.cc, src/tgba/tgbacomplement.hh: The construction. * src/tgbatest/Makefile.am: Adjust. * src/tgbatest/complementation.cc: Add options to support this construction in addition to Safra construction. * src/tgba/Makefile.am: Adjust. * src/tgbatest/complementation.test: Adjust to test also this complementation.
d6e22c06