-
* src/twaalgos/safra.cc, src/twaalgos/safra.hh: Implement optimisation. Update function calls with new API. * src/tests/safra.cc, src/tests/safra.test: Use new API.
e8c428d0
* src/twaalgos/safra.cc, src/twaalgos/safra.hh: Implement optimisation. Update function calls with new API. * src/tests/safra.cc, src/tests/safra.test: Use new API.