• Alexandre Duret-Lutz's avatar
    c++11: work around Swig 2.0 · c88e22d0
    Alexandre Duret-Lutz authored
    * src/misc/common.hh: Conditionally define SPOT_DELETED to = delete.
    * 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: Use
    SPOT_DELETED.
    * wrap/python/spot.i: Include common.hh.
    * wrap/python/Makefile.am: Remove useless definition of SPOT_API
    and BUDDY_API.
    c88e22d0
bdddict.hh 9.56 KB