Function funmark

gecode/support/marked-pointer.hpp:71–75

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