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.