-
Alexandre Duret-Lutz authored
* src/tgba/acc.cc, src/tgba/acc.hh: Implement a to_dnf() method. * src/bin/autfilt.cc: Add option --dnf-acceptance. * src/tgbatest/acc2.test: Test it.
1441c4fe
* src/tgba/acc.cc, src/tgba/acc.hh: Implement a to_dnf() method. * src/bin/autfilt.cc: Add option --dnf-acceptance. * src/tgbatest/acc2.test: Test it.