• Henrich Lauko's avatar
    remfin: Use tra2tba as new rabin strategy in remove_fin · d45b60a4
    Henrich Lauko authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    Move implementation of tra2tba to remfin.
    
    * python/spot/impl.i: Remove tra2tba python bindings
    * spot/twaalgos/Makefile.am: Remove tra2tba
    * spot/twaalgos/remfin.cc: Update rabin_strategy
    * spot/twaalgos/tra2tba.cc: Delete the file
    * spot/twaalgos/tra2tba.hh: Delete the file
    * tests/core/remfin.test: Update tests
    * tests/python/tra2tba.py: Update tests
    d45b60a4
remfin.test 17.5 KB