• Guillaume Sadegh's avatar
    A new complementation construction based on ranking. · d6e22c06
    Guillaume Sadegh authored
    * src/tgba/tgbacomplement.cc, src/tgba/tgbacomplement.hh: The
    * src/tgbatest/Makefile.am: Adjust.
    * src/tgbatest/complementation.cc: Add options to support this
    construction in addition to Safra construction.
    * src/tgba/Makefile.am: Adjust.
    * src/tgbatest/complementation.test: Adjust to test also this
To find the state of this project's repository at the time of any of these versions, check out the tags..
ChangeLog 258 KB