Function ptrjoin

gecode/support/marked-pointer.hpp:82–85

    return reinterpret_cast<void*>(mp & ~static_cast<ptrdiff_t>(1));
  }
  forceinline void*
  ptrjoin(void* p, ptrdiff_t m) {
    return reinterpret_cast<void*>(reinterpret_cast<ptrdiff_t>(p) | m);
  }

}}