Skip to content
  • Alexandre Duret-Lutz's avatar
    Use a cache to speed up tgba_tba_proxy. · 3e7debe5
    Alexandre Duret-Lutz authored
    tgba_tba_proxy used to spend a lot of time (re)computing the
    acceptance condition common to all outgoing transition of a state.
    
    * src/tgba/tgbatba.hh (accmap_): New cache.
    (common_acceptance_conditions_of_original_state): New method.
    * src/tgba/tgbatba.cc (tgba_tba_proxy_succ_iterator::~sync)
    Call common_acceptance_conditions_of_original_state() instead of
    computing the result.
    (~tgba_tba_proxy): Cleanup the cache.
    (common_acceptance_conditions_of_original_state): Implement it.
    3e7debe5
To find the state of this project's repository at the time of any of these versions, check out the tags.