• Alexandre Duret-Lutz's avatar
    overhaul the stutter-invariance checks · 6459877a
    Alexandre Duret-Lutz authored
    * spot/twaalgos/stutter.cc, spot/twaalgos/stutter.hh: Cleanup and
    document the api.
    * spot/twa/twa.hh, doc/mainpage.dox: Add a stutter-invariant section.
    * tests/python/stutter-inv-states.ipynb: Rename as ...
    * tests/python/stutter-inv.ipynb: ... this, and add more comments.
    * tests/Makefile.am, doc/org/tut.org: Adjust renaming.
    * bench/stutter/stutter_invariance_randomgraph.cc,
    bench/stutter/stutter_invariance_formulas.cc,
    bench/stutter/Makefile.am: Make it compile again.
    * bin/autfilt.cc: Call inplace variants.
    * NEWS: Mention the overhaul.
    6459877a
stutter-inv.ipynb 118 KB