Space-memory management
[Memory management]

Namespaces
namespace	Gecode::Memory::Config
	Parameters defining memory management policy for spaces.
Classes
class	Gecode::FreeList
	Base-class for freelist-managed objects. More...
Functions
void *	Gecode::Space::alloc (size_t)
	Allocate memory on space heap.
void	Gecode::Space::reuse (void *, size_t)
	Attempt to reuse memory previously allocated with alloc.
template<size_t >
void *	Gecode::Space::fl_alloc (void)
	Allocate from freelist-managed memory.
template<size_t >
void	Gecode::Space::fl_dispose (FreeList *f, FreeList *l)
	Return freelist-managed memory to freelist.
size_t	Gecode::Space::allocated (void) const
	Return how much heap memory is allocated.

---

Function Documentation

void * Gecode::Space::alloc

(

size_t

s

)

[inline, inherited]

Allocate memory on space heap.

Definition at line 1346 of file core.icc.

void Gecode::Space::reuse	(	void *	p,
		size_t	s
	)			[inline, inherited]

Attempt to reuse memory previously allocated with alloc.

Definition at line 1350 of file core.icc.

template<size_t s>

void * Gecode::Space::fl_alloc

(

void

)

[inline, inherited]

Allocate from freelist-managed memory.

Definition at line 1355 of file core.icc.

template<size_t s>

void Gecode::Space::fl_dispose	(	FreeList *	f,
		FreeList *	l
	)			[inline, inherited]

Return freelist-managed memory to freelist.

The first list element to be retuned is f, the last is l.

Definition at line 1360 of file core.icc.

size_t Gecode::Space::allocated

(

void

)

const [inherited]

Return how much heap memory is allocated.

Note that is includes both the memory allocated for the space heap as well as additional memory allocated by actors.

Definition at line 127 of file core.cc.