• Clément Gillard's avatar
    Add a decompose_scc() function · 164135d3
    Clément Gillard authored
    See #172.
    While at it, fix typo in doxygen comment.
    
    * spot/twaalgos/strength.cc, spot/twaalgos/strength.hh: New function.
    * tests/python/decompose_scc.py, tests/Makefile.am: Test python
    binding.
    
    * spot/twaalgos/mask.hh: Fix typo.
    164135d3
Makefile.am 10.8 KB