Skip to content
  • 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
To find the state of this project's repository at the time of any of these versions, check out the tags.