• Alexandre Duret-Lutz's avatar
    Add a cleanup_acceptance() algorithm · 659107a0
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/cleanacc.cc, src/tgbaalgos/cleanacc.hh: New file.
    * src/tgbaalgos/Makefile.am: Add them.
    * src/tgba/acc.hh, src/tgba/tgba.hh (get_acceptance): Return a
    reference.
    * src/bin/autfilt.cc: Add a --cleanup-acceptance option.
    * src/tgbatest/hoaparse.test: Test it.
    659107a0
Makefile.am 2.82 KB