Skip to content
  • Alexandre Duret-Lutz's avatar
    postproc: Add option to output Complete automata. · 1ab46b08
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh: Tweak set_pref()
    to also accept Any|Complete, Small|Complete, or Deterministic|Complete.
    * src/bin/common_post.hh, src/bin/common_post.cc: Add option --complete
    and set comp.
    * src/bin/dstar2tgba.cc, src/bin/ltl2tgba.cc, src/bin/ltl2tgta.cc: Pass
    comp to set_pref().
    * src/tgbaalgos/complete.cc: Preserve state-based acceptance.
    * src/tgbatest/dstar.test, src/tgbatest/ltlcross2.test,
    src/tgbatest/nondet.test: Augment tests.
    * doc/org/dstar2tgba.org, doc/org/ltl2tgba.org, NEWS: Document.
    1ab46b08