Skip to content
  • Alexandre Duret-Lutz's avatar
    Store the scc_map_ as a vector instead of a std::map. There is no · 96a7a49c
    Alexandre Duret-Lutz authored
    point in using a map since the SCC are numbered in sequence.
    * src/tgbaalgos/scc.hh (scc_map::relabel_component): Return the
    number of the SCC instead of taking it as argument.
    (scc_map::scc_num_): Delete this variable.  scc_map_.size() gives
    the same information.
    (scc_map::scc_map_type): Define using std::vector instead of
    * src/tgbaalgos/ Adjust all uses.