Generated on Fri Oct 19 11:25:36 2018 for Gecode by doxygen 1.6.3

Region memory management
[Memory management]

Classes

class  Gecode::Region
 Handle to region. More...

Detailed Description

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.