Skip to content
  • Clément Gillard's avatar
    decompose_scc: factor autfilt into decompose_acc_scc · 5d143cc1
    Clément Gillard authored
    Put what is done by `autfilt` in a new function, `decompose_acc_scc`.
    
    * bin/autfilt.cc: Move code from here...
    * spot/twaalgos/strength.cc, spot/twaalgos/strength.hh: To here.
    * tests/python/decompose_scc.py: Test python binding.
    5d143cc1