• Alexandre Duret-Lutz's avatar
    get rid of tgba_sba_proxy · cc38443e
    Alexandre Duret-Lutz authored
    * src/saba/sabacomplementtgba.cc, src/saba/sabacomplementtgba.hh,
    src/tgba/tgbatba.cc, src/tgba/tgbatba.hh, src/tgbaalgos/degen.hh,
    src/tgbatest/complementation.cc, src/tgbatest/ltl2tgba.cc: Here.
    cc38443e
complementation.cc 8.77 KB