• Alexandre Duret-Lutz's avatar
    use scc_info instead of scc_map in a couple of easy places · 5c9a5403
    Alexandre Duret-Lutz authored
    * src/bin/dstar2tgba.cc, src/bin/ltlcross.cc, src/tgbaalgos/stats.cc,
    src/tgbaalgos/simulation.cc: Use scc_info instead of scc_map.
    * src/tgbaalgos/stats.hh, src/bin/common_output.hh: Change parameters
    types to be tgba_digraph_ptr instead tgba_ptr, so that scc_info can be
    used.
    5c9a5403