-
Alexandre Duret-Lutz authored
This gives a nice speedup (>1.4) in the ltlcounter benchmark, because we no longer have to generate a copy the string representations of the LTL formulae. * src/tgbaalgos/ltl2tgba_fm.cc: Adjust. Also get rid of the formulae_seen map, since we can now ask the tgba_explicit_formula if it knows the state.
007e2bd0
To find the state of this project's repository at the time of any of these versions, check out the tags.