-
Alexandre Duret-Lutz authored
* src/tgba/acc.cc, src/tgba/acc.hh (complement): New method. * src/bin/autfilt.cc: Add a --complement-acceptance option. * src/tgbatest/acc2.test: Test it.
d597050f
* src/tgba/acc.cc, src/tgba/acc.hh (complement): New method. * src/bin/autfilt.cc: Add a --complement-acceptance option. * src/tgbatest/acc2.test: Test it.