Skip to content
  • Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/ltl2tgba_fm.hh (ltl_to_tgba_fm): Add argument · aa5cef3c
    Alexandre Duret-Lutz authored
    fair_loop_approx.
    * src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Implement the
    fair_loop_approx optimization.
    (ltl_promise_visitor, ltl_possible_fair_loop_visitor,
    possible_fair_loop_checker): New classes.
    * src/tgbatest/ltl2tgba.cc: Add the -L option.
    * src/tgbatest/spotlbtt.test: Exercise fair_loop_approx.
    * wrap/python/cgi/ltl2tgba.in: Make it an option.
    aa5cef3c