• Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/ltl2tgba_fm.hh (ltl_to_tgba_fm): Add argument · 6b06e28f
    Alexandre Duret-Lutz authored
    branching_postponement.
    * src/tgbaalgos/ltl2tgba_fm.cc (fill_dests): New function, extracted
    from ltl_to_tgba_fm().
    (ltl_to_tgba_fm): Implement the branching_postponement optimization.
    * src/tgbatest/ltl2tgba.cc: Add the -p option.
    * src/tgbatest/spotlbtt.test: Exercise branching postponement.
    * wrap/python/cgi/ltl2tgba.in: Make it an option.
    6b06e28f
ltl2tgba.cc 11 KB