124#ifndef GECODE_MEMORY_ALIGNMENT
125#define GECODE_MEMORY_ALIGNMENT static_cast<size_t>(8U)
145 s += ((a - (s & (a - 1))) & (a - 1));
#define GECODE_MEMORY_ALIGNMENT
Memory alignment.
Parameters defining memory management policy for spaces.
const int hcsz_inc_ratio
Increment ratio for chunk size.
const size_t hcsz_max
Maximal size of a heap chunk requested from the OS.
const int fl_size_max
Maximal size for free list element.
void align(size_t &s, size_t a=GECODE_MEMORY_ALIGNMENT)
Align size s to the required alignment a.
const int fl_unit_size
Unit size for free lists.
const unsigned int n_hc_cache
How many heap chunks should be cached at most.
const size_t hcsz_min
Minimal size of a heap chunk requested from the OS.
const size_t region_area_size
Size of region area.
const int fl_refill
Number of free lists elements to allocate.
const int fl_size_min
Minimal size for free list element.
const int hcsz_dec_ratio
Decrement ratio for chunk size.
Gecode toplevel namespace