Skip to content
  • Alexandre Duret-Lutz's avatar
    Add a remove_fin() algorithm · 85508a0e
    Alexandre Duret-Lutz authored
    * src/bin/autfilt.cc: Add remove_fin().
    * src/tgba/acc.cc, src/tgba/acc.hh: Add is_dnf() and simplify eval().
    * src/tgbaalgos/remfin.cc, src/tgbaalgos/remfin.hh: New files.
    * src/tgbaalgos/Makefile.am: Add them.
    * src/tgbatest/remfin.test: New file.
    * src/tgbatest/Makefile.am: Add it.
    85508a0e