• Guillaume Sadegh's avatar
    A new complementation construction based on ranking. · d6e22c06
    Guillaume Sadegh authored
    * src/tgba/tgbacomplement.cc, src/tgba/tgbacomplement.hh: The
    construction.
    * 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
    complementation.
    d6e22c06
tgbacomplement.cc 21.6 KB