-
Alexandre Duret-Lutz authored
* src/tgbaalgos/ltl2tgba_fm.cc (translate_dict::ltl_to_bdd): Use boolean_to_bdd()
Alexandre Duret-Lutz authored* src/tgbaalgos/ltl2tgba_fm.cc (translate_dict::ltl_to_bdd): Use boolean_to_bdd()
Loading
* src/tgbaalgos/ltl2tgba_fm.cc (translate_dict::ltl_to_bdd): Use boolean_to_bdd()
* src/tgbaalgos/ltl2tgba_fm.cc (translate_dict::ltl_to_bdd): Use boolean_to_bdd()