-
Alexandre Duret-Lutz authored
* src/tgbaalgos/scc.hh (scc_map::scc): Add a supp member to hold APs. * src/tgbaalgos/scc.cc (scc_map::build_map): Update supp. (scc_map::ap_set_of): New function. (dump_scc_dot): Show the output of ap_set_of().
b3486965