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