• Thibaud Michaud's avatar
    remove universal transitions on the fly · a13a4e7d
    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
alternation.hh 5.11 KB