Skip to content
  • Alexandre Duret-Lutz's avatar
    satmin: cleanup interfaces and minimization loops · fdb157bf
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtbasat.hh:
    (dtba_sat_minimize): Split into...
    (dtba_sat_synthetize, dtba_sat_minimize): These.
    (dtba_sat_minimize_dichotomy): New function.
    * src/tgbaalgos/dtgbasat.cc, src/tgbaalgos/dtgbasat.hh
    (dtgba_sat_minimize, dtgba_sat_synthetize): Likewise.
    * src/tgbatest/ltl2tgba.cc: Adjust to new interface.
    * src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh:
    Cleanup option processing for SAT options.
    * src/tgbatest/satmin.test: Adjust.
    * src/bin/spot-x.cc, src/bin/man/spot-x.x, NEWS: Document.
    fdb157bf