-
Alexandre Duret-Lutz authored
* spot/twaalgos/stutter.cc, spot/twaalgos/stutter.hh (stutter_invariant_letters) (stutter_invariant_states): Get rid of the broken local variant. * tests/python/stutter-inv.ipynb, NEWS: Document. * python/spot/impl.i: Bind vector<bdd>.
4711dcd7