Skip to content
  • Alexandre Duret-Lutz's avatar
    introduce stutter_invariant_letters() · 4711dcd7
    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