• Alexandre Duret-Lutz's avatar
    Add an option to use WDBA only if it reduces the size of the automaton. · 60ec3ace
    Alexandre Duret-Lutz authored
    * src/tgba/tgbaexplicit.hh (num_states): New method.
    * src/tgbaalgos/minimize.hh, src/tgbaalgos/minimize.cc
    (minimize_obligation): Add a reject_bigger option.
    * src/tgbatest/ltl2tgba.cc (-RM): New option.
    * src/tgbatest/spotlbtt.test: Test -RM.
    * bench/ltl2tgba/algorithms: Include -RM in addition to -Rm, and
    replace -RDS by -RIS.
    * NEWS: Mention this.
    60ec3ace