-
Alexandre Duret-Lutz authored
* spot/twa/acc.hh, spot/twa/acc.cc: Implement the new methods. * python/spot/impl.i: Add bindings for vectors of acc_cond. * tests/python/acc_cond.ipynb: Test the two methods. * NEWS: Adjust.
0d9c81a6
* spot/twa/acc.hh, spot/twa/acc.cc: Implement the new methods. * python/spot/impl.i: Add bindings for vectors of acc_cond. * tests/python/acc_cond.ipynb: Test the two methods. * NEWS: Adjust.