Function marked

gecode/support/marked-pointer.hpp:53–56

  void* ptrjoin(void* p, ptrdiff_t m);

  forceinline bool
  marked(void* p) {
    return (reinterpret_cast<ptrdiff_t>(p) & 1) != 0;
  }
  forceinline void*
  mark(void* p) {
    assert(!marked(p));