Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/emptiness_stats.hh (ars_statistics): New class. · 55c08790
    Alexandre Duret-Lutz authored 
    * src/tgbaalgos/ndfs_result.hh (ndfs_result): Inherit from
ars_statistics.
(ndfs_result::dfs): Call inc_ars_states().
(ndfs_result::test_path, ndfs_result::min_path): Update ars_statistics.
* tgbaalgos/gtec/ce.hh (couvreur99_check_result): Inherit
from ars_statistics.
* tgbaalgos/gtec/ce.cc (shortest_path,
couvreur99_check_result::accepting_cycle::scc_bfs):
Update ars_statistics.
* src/tgbatest/randtgba.cc: Display statistics about accepting run
search.
    55c08790
To find the state of this project's repository at the time of any of these versions, check out the tags.