-
Alexandre Duret-Lutz authored
branching postponement. * src/tgbaalgos/ltl2tgba_fm.cc (formula_canonizer): New class, with bits extracted from fill_dests and ltl_to_tgba_fm. (fill_dests, ltl_to_tgba_fm): Adjust to use formula_canonizer.
040f8bee
To find the state of this project's repository at the time of any of these versions, check out the tags.