• Guillaume Sadegh's avatar
    Rename files related to Safra complementation. · 9775dd97
    Guillaume Sadegh authored
    * src/tgba/tgbacomplement.cc, src/tgba/tgbacomplement.hh: Rename
    as...
    * src/tgba/tgbasafracomplement.cc,
    src/tgba/tgbasafracomplement.hh: ... these, and adjust class name.
    * src/tgba/Makefile.am, src/tgbatest/Makefile.am: Adjust.
    * src/tgbatest/complementation.cc: Adjust.
    9775dd97
Makefile.am 1.91 KB