-
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