• Alexandre Duret-Lutz's avatar
    ltl: remove the useless Finish operator · a0d9268f
    Alexandre Duret-Lutz authored
    * src/ltlast/unop.cc, src/ltlast/unop.hh src/ltlvisit/lbt.cc,
    src/ltlvisit/mark.cc, src/ltlvisit/simplify.cc,
    src/ltlvisit/tostring.cc, src/ltlvisit/tunabbrev.cc,
    src/tgba/formula2bdd.cc, src/tgbaalgos/ltl2tgba_fm.cc: Remove Finish.
    * src/tgbaalgos/ltl2taa.cc: Remove Finish, and simply use an empty
    destination to code the sink.
    a0d9268f
tunabbrev.cc 2.04 KB