• Alexandre Duret-Lutz's avatar
    new conversion for Streett->GBA · d8a1dafa
    Alexandre Duret-Lutz authored
    * src/twaalgos/totgba.hh, src/twaalgos/totgba.cc: Implement
    the new function.
    * NEWS: Mention this new function.
    * src/bin/man/spot-x.x: Document SPOT_STREETT_CONV_MIN.
    * src/tests/ltl2dstar4.test: Add tests.
    * src/tests/Makefile.am: Add it.
    * src/bin/autfilt.cc: Do do call remove_fin explicitely
    when --tgba is used, let the postprocessor do it.
    * src/twa/acc.hh: Add shift operators for acceptance marks.
    * src/twaalgos/remfin.cc: Use the new algorithm.
    * src/twaalgos/sccinfo.cc, src/twaalgos/sccinfo.hh: Add
    a new method to supply the acceptance sets visited by an SCC.
    d8a1dafa
totgba.hh 1.47 KB