Method ralloc

gecode/support/heap.hpp:356–368

* Wrappers for raw allocation routines * */

   *
   */
  forceinline void*
  Heap::ralloc(size_t s) {
    void* p = Support::allocator.alloc(s);
#ifdef GECODE_PEAKHEAP
    _m.acquire();
    _cur += GECODE_MSIZE(p);
    _peak = std::max(_peak,_cur);
    _m.release();
#endif
    if (p != nullptr)
      return p;
    throw MemoryExhausted();
  }

  forceinline void
  Heap::rfree(void* p) {