Skip to content
  • Alexandre Duret-Lutz's avatar
    scc_filter_states: also remove useless acceptance marks · cd2e5275
    Alexandre Duret-Lutz authored
    * src/twaalgos/sccfilter.hh,
    src/twaalgos/sccfilter.cc (scc_filter_states): Remove useless acceptance
    marks while preserving state-based acceptance.  Add a new argument
    to specify if all useless mark have to be removed, like for scc_filter.
    * src/twaalgos/simulation.cc: Use the new parameter.
    * src/twaalgos/postproc.cc: Likewise.  Also call do_scc_filter even
    after WDBA simplification to cleanup trivial SCCs.  Preserve state-based
    acceptance for weak automata.
    * src/tests/readsave.test: Add one test.
    * src/tests/dstar.test, src/tests/prodor.test, src/tests/remfin.test,
    src/tests/sim3.test, wrap/python/tests/automata.ipynb,
    wrap/python/tests/piperead.ipynb: Adjust expected output.
    * NEWS: Mention the change.
    cd2e5275