• Alexandre Duret-Lutz's avatar
    c++11: explicitly delete copy constructors and operator=. · 9cfc9f0f
    Alexandre Duret-Lutz authored
    * src/ltlvisit/simplify.hh, src/ta/taexplicit.hh, src/ta/taproduct.hh,
    src/tgba/bdddict.hh, src/tgba/taatgba.hh, src/tgba/tgbabddconcrete.hh,
    src/tgba/tgbaexplicit.hh, src/tgba/tgbaproduct.hh, src/tgba/tgbasgba.hh,
    src/tgba/tgbatba.hh, src/tgba/tgbaunion.hh, src/tgba/wdbacomp.cc: Here.
    9cfc9f0f
taatgba.hh 10.2 KB