Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Region memory management

A region provides a handle to temporary memory owned by a space. The memory will be managed in a stack fashion, that is, the memory allocated through a region will be released only after the region is deleted and all other regions created later also have been deleted.

In case a memory request cannot be fulfilled from a space's region, heap memory is allocated and returned to the operating system as soon as the region is deleted.