Skip to content
Find file Blame History Permalink
  • 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