• Alexandre Duret-Lutz's avatar
    scc_info: introduce edges_of() and inner_edges_of() · 8e19d3f4
    Alexandre Duret-Lutz authored
    This is motivated by some upcoming patch by Heňo.
    
    * spot/twaalgos/sccinfo.hh (edges_of, inner_edges_of): New methods.
    * spot/twaalgos/sccinfo.cc, spot/twaalgos/strength.cc: Use them.
    * spot/twa/twagraph.hh (edge_number): Add an overload.
    * python/spot/impl.i: Bind the new methods.
    * tests/python/sccinfo.py: Add tests.
    * NEWS: Mention the changes.
    8e19d3f4
sccinfo.py 2.07 KB