-
Thibaud Michaud authored
* spot/twaalgos/alternation.cc, spot/twaalgos/alternation.hh: Implement remove_univ_otf. * tests/python/alternating.py: Test it. * python/spot/impl.i: Bindings. * NEWS: Document it.
a13a4e7d
* spot/twaalgos/alternation.cc, spot/twaalgos/alternation.hh: Implement remove_univ_otf. * tests/python/alternating.py: Test it. * python/spot/impl.i: Bindings. * NEWS: Document it.