-
Alexandre Duret-Lutz authored
* spot/twaalgos/stutter.hh, spot/twaalgos/stutter.cc: Introduce is_stutter_invariant_forward_closed and make_stutter_invariant_forward_closed_inplace. * tests/python/stutter-inv.ipynb: Use them.
3b4335d2
* spot/twaalgos/stutter.hh, spot/twaalgos/stutter.cc: Introduce is_stutter_invariant_forward_closed and make_stutter_invariant_forward_closed_inplace. * tests/python/stutter-inv.ipynb: Use them.