-
Alexandre Duret-Lutz authored
* spot/twa/acc.cc, spot/twa/acc.hh: Add the new functions. * python/spot/impl.i: Add bindings. * tests/python/acc_cond.ipynb: Add tests. * NEWS: Mention it.
510a18b1
* spot/twa/acc.cc, spot/twa/acc.hh: Add the new functions. * python/spot/impl.i: Add bindings. * tests/python/acc_cond.ipynb: Add tests. * NEWS: Mention it.