• Alexandre Duret-Lutz's avatar
    sat: improve our algorithms · bcd794c6
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtbasat.hh:
    Rename dba_sat_minimize to dtba_sat_minimize.
    Make it possible to produce state-based automata, and do
    not output useless clauses.
    * src/tgbaalgos/dtgbasat.cc, src/tgbaalgos/dtgbasat.hh:
    likewise, but also add the possibility to set the
    target number of states, as in dtba_sat_minimize.
    * src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh:
    Add new options for state-based computations and
    setting acceptance and states number when using
    dtgba_sat_minimize().
    * src/tgbatest/ltl2tgba.cc: Adjust calls to
    dtba_sat_minimize().
    * src/tgbatest/satmin.test: Adjust calls.
    bcd794c6