• Alexandre Duret-Lutz's avatar
    scc_info: improve split_on_sets · 11704d31
    Alexandre Duret-Lutz authored
    * spot/twaalgos/sccinfo.cc, spot/twaalgos/sccinfo.hh (split_on_set):
    Allow names to be preserved
    * python/spot/impl.i: Instantiate std::vector<spot::twa_graph_ptr>.
    11704d31
sccinfo.cc 19.2 KB