Method free

gecode/kernel/memory/region.hpp:355–358

    : chunk(pool().chunk()), hi(nullptr) {}

  forceinline void
  Region::free(void) {
    chunk->reset();
  }

  forceinline void*
  Region::ralloc(size_t s) {