Skip to content
  • Alexandre Duret-Lutz's avatar
    Add a way to count the number of sub-transitions. · 30727074
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/stats.hh (tgba_sub_statistics): New class.
    (sub_stats_reachable): New function.
    * src/tgbaalgos/stats.cc (sub_stats_bfs): New class.
    (tgba_sub_statistics::dump, sub_stats_reachable): New function.
    * src/tgbatest/ltl2tgba.cc (-kt): New option.
    * src/tgbatest/ltl2tgba.test: Use -kt.
    30727074