Method operator delete

gecode/support/heap.hpp:418–421

    return heap.ralloc(s);
  }
  forceinline void
  HeapAllocated::operator delete(void* p) {
    heap.rfree(p);
  }