-
Alexandre Duret-Lutz authored
* src/tgbaalgos/ltl2tgba_fm.cc (ratexp_to_dfa::translate, ltl_to_tgba_fm): Do not convert labels as Boolean formulas before creating transitions. Use the bdd directly, and register the used transitions later.
4ba60dad
* src/tgbaalgos/ltl2tgba_fm.cc (ratexp_to_dfa::translate, ltl_to_tgba_fm): Do not convert labels as Boolean formulas before creating transitions. Use the bdd directly, and register the used transitions later.