Skip to content
Find file Blame History Permalink
  • 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
To find the state of this project's repository at the time of any of these versions, check out the tags.