Method operator delete

gecode/support/thread/thread.hpp:50–53

    return d;
  }
  forceinline void
  Runnable::operator delete(void* p) {
    heap.rfree(p);
  }
  forceinline void*
  Runnable::operator new(size_t s) {
    return heap.ralloc(s);