• Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Take an exprop · 07ba321e
    Alexandre Duret-Lutz authored
    argument.  Consider all possible combinations of propositions when
    generating arcs.  Suggested by Jean-Michel Couvreur.
    * src/tgbaalgos/ltl2tgba_fm.hh (ltl_to_tgba_fm): Adjust.
    * src/tgbatest/ltl2tgba.cc: Honor -fx.
    * src/tgbatest/spotlbtt.test: Exercise -fx.
    * wrap/python/cgi/ltl2tgba.in: Support Couvreur/FM with exploded
    properties.
    07ba321e
ltl2tgba.cc 9.88 KB