Skip to content
  • Alexandre Duret-Lutz's avatar
    decompose_strength: work with inherently weak SCCs · 2e15ed95
    Alexandre Duret-Lutz authored
    * wrap/python/tests/decompose.ipynb: Adjust text.
    * spot/twaalgos/strength.hh, spot/twaalgos/strength.cc:
    Adjust to extract inherently weak SCCs instead of weak SCCs.  This gets
    rids of the special handling for the "corner cases".
    * spot/tests/strength.test: Adjust.
    * NEWS: Mention it.
    2e15ed95