Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    Have scc_map keep track of APs that are reachable from a SCC. · fa8dd7f1
    Alexandre Duret-Lutz authored 
    * src/tgbaalgos/scc.hh (scc_map::scc): Add a supp_rec member to
hold reachable APs.
* src/tgbaalgos/scc.cc (scc_map::update_supp_rec): New function,
to update supp_rec.
(scc_map::build_map): Call it.
(scc_map::aprec_set_of): New function.
(dump_scc_dot): Show the output of aprec_set_of().
    fa8dd7f1
To find the state of this project's repository at the time of any of these versions, check out the tags.