• Alexandre Duret-Lutz's avatar
    implement conversion to GRA and GSA · 14bee1ae
    Alexandre Duret-Lutz authored
    Fixes #174.
    
    * spot/twaalgos/totgba.hh, spot/twaalgos/totgba.cc
    (to_generalized_streett, to_generalized_rabin): New functions.
    * spot/twa/acc.hh: Declare more methods as static.
    * bin/autfilt.cc: Implement --generalized-rabin and
    --generalized-streett options.
    * NEWS: Mention these.
    * tests/core/gragsa.test: New file.
    * tests/Makefile.am: Add it.
    14bee1ae
Makefile.am 10.1 KB