• 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
    std::map.
    * src/tgbaalgos/scc.cc: Adjust all uses.
    96a7a49c
To find the state of this project's repository at the time of any of these versions, check out the tags.