-
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