-
Alexandre Duret-Lutz authored
* spot/twa/acc.cc, spot/twa/acc.hh (fin_unit, one_fin): New function. * spot/twaalgos/genem.cc, spot/twaalgos/genem.hh: New files. * spot/twaalgos/Makefile.am: Add it. * tests/python/genem.py: New file. * tests/Makefile.am: Add it. * python/spot/impl.i: Add bindings for genem.hh. * NEWS: Mention the new function.
d708174c