• Alexandre Duret-Lutz's avatar
    acc: make &= and |= symmetrical · abe2c08b
    Alexandre Duret-Lutz authored
    Operator &= used to always move Fin to the front, it does not anymore.
    The only thing it does now is to merge Inf(x)&Inf(y) as Inf({x,y}).
    Operator |= is now symmetrical and merges Fin()s.
    
    Fixes #253.
    
    * spot/twa/acc.cc, spot/twa/acc.hh: Simplify &= and make |= symmetrical.
    * spot/twaalgos/cleanacc.cc: Fix conjunction order.
    * tests/core/acc.test, tests/core/acc2.test, tests/core/parseaut.test,
    tests/core/readsave.test, tests/core/satmin2.test,
    tests/core/sccdot.test, tests/python/acc_cond.ipynb,
    tests/python/accparse.ipynb, tests/python/automata.ipynb,
    tests/python/product.ipynb, tests/python/randaut.ipynb: Adjust test
    cases.
    abe2c08b
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 165 KB