-
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
* 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>.