• Alexandre Duret-Lutz's avatar
    acc: add a to_cnf() function · a0ac8dc5
    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