• Alexandre Duret-Lutz's avatar
    autfilt: add a --sbacc option · acb67c1b
    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
autfilt.cc 14.6 KB