• 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
To find the state of this project's repository at the time of any of these versions, check out the tags..
NEWS 175 KB