• Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/ltl2tgba_fm.hh (ltl_to_tgba_fm): Add the · 4e793ef4
    Alexandre Duret-Lutz authored
    symb_merge argument.
    * src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Likewise.
    * src/tgbatest/ltl2tgba.cc (main): Rename -fx as -x, and add -y
    to unset symb_merge.
    * wrap/python/cgi/ltl2tgba.in: Remove the exprop version
    of the FM translator, make exprop and symb_merge options.
    4e793ef4
ltl2tgba.cc 10.3 KB