[WIP] tra2tba: Implement transformation of TRA to TBA acceptance condition. (!6) · Merge requests · Spot / Spot · GitLab

Henrich Lauko requested to merge hl/tra-to-tba into next May 09, 2017

python/spot/impl.i: Add bindings for tra2tba.
spot/twaalgos/Makefile.am: Record tra2tba.cc, tra2tba.hh.
spot/twaalgos/tra2tba.cc: Implement transformation of TRA to TBA.
spot/twaalgos/tra2tba.hh: Introduce declaration of tra_to_tba.
tests/Makefile.am: Record tra2tba tests.
tests/core/tra2tba.cc: Add driver for tests.
tests/core/tra2tba.test: Add tests of tra2tba transformation.

Edited Sep 07, 2020 by Alexandre Duret-Lutz