-
Alexandre Duret-Lutz authored
* spot/twa/acc.cc, spot/twa/acc.hh: Here. * spot/parseaut/parseaut.yy, spot/twa/acc.hh, spot/twaalgos/gtec/gtec.cc, spot/twaalgos/hoa.cc, spot/twaalgos/neverclaim.cc, spot/twaalgos/product.cc, spot/twaalgos/remfin.cc, spot/twaalgos/strength.cc: Adjust. * NEWS: Mention the changes. * wrap/python/spot_impl.i: Bind acc_cond the printer. * wrap/python/tests/acc_cond.ipynb: Add more examples.
94cca9de