233 return std::numeric_limits<size_type>::max() /
234 (
sizeof(T)>0 ?
sizeof(T) : 1);
291 template<
class T1,
class T2>
294 return &al1.space == &al2.space;
303 template<
class T1,
class T2>
306 return &al1.space != &al2.space;
310 template<
class T>
struct region_allocator;
389 return std::numeric_limits<size_type>::max()
390 / (
sizeof(T)>0 ?
sizeof(T) : 1);
456 template<
class T1,
class T2>
459 return &al1.region == &al2.region;
468 template<
class T1,
class T2>
471 return &al1.region != &al2.region;
Gecode toplevel namespace
void count(Home home, const IntVarArgs &x, int n, IntRelType irt, int m, IntPropLevel ipl=IPL_DEF)
Post propagator for .
void element(Home home, IntSharedArray n, IntVar x0, IntVar x1, IntPropLevel ipl=IPL_DEF)
Post domain consistent propagator for .
Post propagator for SetVar x
bool operator==(const FloatVal &x, const FloatVal &y)
bool operator!=(const FloatVal &x, const FloatVal &y)
Rebinding helper (returns the type of a similar allocator for type U).
region_allocator< U > other
The allocator type for U.
Rebinding helper (returns the type of a similar allocator for type U)
region_allocator< U > other
const void * const_pointer
Allocator that allocates memory from a region.
size_type max_size(void) const
Returns the largest size for which a call to allocate might succeed.
region_allocator(region_allocator< U > const &al)
Copy from other instantiation.
void construct(pointer element, const_reference t)
Constructs an object.
void deallocate(pointer p, size_type count)
Deallocates storage.
region_allocator(Region ®ion)
pointer allocate(size_type count, const void *const hint)
Allocates storage.
void destroy(pointer element)
Calls the destructor on the object pointed to by element.
U const & const_reference
pointer allocate(size_type count)
Allocates storage.
region_allocator(region_allocator const &al)
Copy construction.
ptrdiff_t difference_type
const_pointer address(const_reference x) const
Convert a const reference x to a const pointer.
pointer address(reference x) const
Convert a reference x to a pointer.
Rebinding helper (returns the type of a similar allocator for type U).
space_allocator< U > other
The allocator type for U.
Rebinding helper (returns the type of a similar allocator for type U)
space_allocator< U > other
const void * const_pointer
Allocator that allocates memory from a space heap.
void construct(pointer element, const_reference t)
space_allocator(space_allocator const &al)
Copy construction.
space_allocator & operator=(space_allocator const &al)
Assignment operator.
pointer allocate(size_type count, const void *const hint)
Allocates storage.
space_allocator(space_allocator< U > const &al)
Copy from other instantiation.
pointer address(reference x) const
Convert a reference x to a pointer.
space_allocator(Space &space)
U const & const_reference
ptrdiff_t difference_type
void destroy(pointer element)
Calls the destructor on the object pointed to by element.
const_pointer address(const_reference x) const
Convert a const reference x to a const pointer.
size_type max_size(void) const
Returns the largest size for which a call to allocate might succeed.
void deallocate(pointer p, size_type count)
Deallocates the storage obtained by a call to allocate() with arguments count and p.
pointer allocate(size_type count)
Allocates storage.