Method ralloc

gecode/kernel/core.hpp:2827–2830

Space allocation: general space heaps and free lists

  // Space allocation: general space heaps and free lists
  forceinline void*
  Space::ralloc(size_t s) {
    return mm.alloc(ssd.data().sm,s);
  }
  forceinline void
  Space::rfree(void* p, size_t s) {
    return mm.reuse(p,s);