• Alexandre Duret-Lutz's avatar
    Use tgba_explicit_formula instead of tgba_explicit_string in FM. · 007e2bd0
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.