• Alexandre Duret-Lutz's avatar
    acc: add a to_dnf() method · 1441c4fe
    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