Skip to content
Find file Blame History Permalink
  • 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.
    007e2bd0
To find the state of this project's repository at the time of any of these versions, check out the tags.