Skip to content
  • Alexandre Duret-Lutz's avatar
    stutter: detect stutter-invariance at the state level · 9b187297
    Alexandre Duret-Lutz authored
    * spot/twaalgos/stutter.cc, spot/twaalgos/stutter.hh: Implement
    stutter-invariance detection at the state level.
    * python/spot/impl.i: Instantiate std::vector<bool>
    * tests/python/stutter-inv-states.ipynb: New file.
    * tests/Makefile.am, doc/org/tut.org: Add it.
    9b187297