Skip to content
  • Alexandre Duret-Lutz's avatar
    maskacc: Add a tgba_digraph version · d0f0be23
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/mask.cc, src/tgbaalgos/mask.hh: New files.
    * src/tgbaalgos/Makefile.am: Adjust.
    * src/tgba/acc.hh (mark_t::set): New method.
    * src/bin/autfilt.cc: Add option --mask-acc.
    * src/tgbatest/maskacc.test: Rewrite.
    * src/tgbatest/maskacc.cc: Delete.
    * src/tgbatest/Makefile.am: Adjust.
    d0f0be23