-
Alexandre Duret-Lutz authored
... to force automata into state-based acceptance. * src/tgbaalgos/sbacc.cc, src/tgbaalgos/sbacc.hh, src/tgbatest/sbacc.test: New files. * src/tgbaalgos/Makefile.am, src/tgbatest/Makefile.am: Add them. * src/tgba/tgbagraph.hh (copy_acceptance_conditions_of): Call set_acceptance_conditions(). * src/bin/autfilt.cc: Add option --sbacc.
acb67c1b