• Damien Lefortier's avatar
    Improve ltl_to_taa. · 7ce27ef9
    Damien Lefortier authored
    * src/tgba/taa.cc, src/tgba/taa.hh: taa_succ_iterator is not
    on-the-fly anymore allowing some redundant transitions to be
    removed. Also a new function to output a TAA.
    * src/tgbaalgos/ltl2taa.cc, src/tgbaalgos/ltl2taa.hh: Add the
    refined rules from Tauriainen.
    * src/tgbatest/ltl2tgba.cc: Use -c to activate refined rules in
    ltl_to_taa.
    * src/tgbatest/spotlbtt.test: More tests.
    7ce27ef9
To find the state of this project's repository at the time of any of these versions, check out the tags.