-
Alexandre Duret-Lutz authored
* src/tgba/acc.cc, src/tgba/acc.hh (to_cnf, is_cnf): New functions. * src/bin/autfilt.cc: Add a --cnf-acceptance option. * src/tgbatest/acc2.test: Test it.
a0ac8dc5
* src/tgba/acc.cc, src/tgba/acc.hh (to_cnf, is_cnf): New functions. * src/bin/autfilt.cc: Add a --cnf-acceptance option. * src/tgbatest/acc2.test: Test it.