• Alexandre GBAGUIDI AISSE's avatar
    twaalgos/totgba: Add dnf_to_streett() method · 50e99cdc
    Alexandre GBAGUIDI AISSE authored
    * NEWS: Update.
    * spot/twaalgos/totgba.hh: Declare dnf_to_streett().
    * spot/twaalgos/totgba.cc: Implement dnf_to_streett().
    * bin/autfilt.cc: Add --dnf-to-streett cmd line option.
    * tests/core/dnfstreett.test: Add test.
    * tests/Makefile.am: Add test file.
    50e99cdc
autfilt.cc 45.4 KB