Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    symplify_acceptance: More rules · e5a37ff9
    Alexandre Duret-Lutz authored 
    Fixes #297. Implement the following rules.

Fin(i) & Fin(j) by f if i and j are complementary
Fin(i) & Inf(i) by f
Inf(i) | Inf(j) by t if i and j are complementary
Fin(i) | Inf(i) by t.

* spot/twaalgos/cleanacc.cc, spot/twaalgos/cleanacc.hh: Here.
* tests/python/merge.py: Add more test cases.
* NEWS: Mention the change.
    e5a37ff9
To find the state of this project's repository at the time of any of these versions, check out the tags.