• Florian Renkin's avatar
    Moved IAR and the new version of to_parity in toparity.cc · 75990063
    Florian Renkin authored
    * python/spot/__init__.py: Use keyword arguments in to_parity()
    * python/spot/impl.i: remove useless includes.
    * spot/twaalgos/car.cc, spot/twaalgos/car.hh,
    spot/twaalgos/rabin2parity.cc, spot/twaalgos/rabin2parity.hh,
    tests/Makefile.am, spot/twaalgos/Makefile.am:
    content moved to toparity.
    * spot/twaalgos/postproc.cc: Use the new version of to_parity in
    postprocessor::run.
    * spot/twaalgos/toparity.cc, spot/twaalgos/toparity.hh: Add the
    content of rabin2parity and car.
    * tests/python/car.py, tests/python/toparity.py: Moved all tests
    from car.py to toparity.py.
    * tests/python/except.py: Change iar() to iar_old().
    75990063
Makefile.am 12.5 KB