Skip to content
Find file Blame History Permalink
  • 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