-
Alexandre Duret-Lutz authored
(tgba_explicit::merge_transitions): New method. * src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Factorize all variables (not just Next and A) when computing prime implicants, and then call merge_transitions().
d07c6694
To find the state of this project's repository at the time of any of these versions, check out the tags.