• Florian Renkin's avatar
    CAR: new algorithm for paritizing · 96531f29
    Florian Renkin authored
    * NEWS: Mention it.
    * spot/twaalgos/car.cc, spot/twaalgos/car.hh, tests/python/car.py:
    New files.
    * spot/twaalgos/Makefile.am, tests/Makefile.am: Add them.
    * python/spot/impl.i: Include CAR.
    * spot/twa/acc.cc, spot/twa/acc.hh, spot/twa/twagraph.cc,
    spot/twa/twagraph.hh: Add supporting methods.
    96531f29
Makefile.am 12.5 KB