Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.13.2
Gecode::space_allocator< void >::rebind Struct Reference

Rebinding helper (returns the type of a similar allocator for type U) More...

#include <allocators.hpp>

Public Types

typedef space_allocator< U > other
 
typedef space_allocator< U > other
 The allocator type for U.
 
typedef void value_type
 Type of objects the allocator creates. This is identical to T.
 
typedef size_t size_type
 Type that can represent the size of the largest object.
 
typedef ptrdiff_t difference_type
 Type that can represent the difference between any two pointers.
 
typedef void * pointer
 Type of pointers returned by the allocator.
 
typedef void const * const_pointer
 Const version of pointer.
 
typedef void & reference
 Non-const reference to T.
 
typedef void const & const_reference
 Const reference to T.
 

Public Member Functions

 space_allocator (Space &space) throw ()
 Construction.
 
 space_allocator (space_allocator const &al) throw ()
 Copy construction.
 
 space_allocator (space_allocator< U > const &al) throw ()
 Copy from other instantiation.
 
space_allocatoroperator= (space_allocator const &al)
 Assignment operator.
 
pointer address (reference x) const
 Convert a reference x to a pointer.
 
const_pointer address (const_reference x) const
 Convert a const reference x to a const pointer.
 
size_type max_size (void) const throw ()
 Returns the largest size for which a call to allocate might succeed.
 
pointer allocate (size_type count)
 Allocates storage.
 
pointer allocate (size_type count, const void *const hint)
 Allocates storage.
 
void deallocate (pointer p, size_type count)
 Deallocates the storage obtained by a call to allocate() with arguments count and p.
 
void construct (pointer element, const_reference t)
 
void destroy (pointer element)
 Calls the destructor on the object pointed to by element.
 

Public Attributes

Spacespace
 The space that we allocate objects from.
 

Detailed Description

Rebinding helper (returns the type of a similar allocator for type U)

Definition at line 162 of file allocators.hpp.

Member Typedef Documentation

◆ other [1/2]

typedef space_allocator<U> Gecode::space_allocator< void >::rebind::other

Definition at line 163 of file allocators.hpp.

◆ other [2/2]

typedef space_allocator<U> Gecode::space_allocator< void >::rebind< U >::other

The allocator type for U.

Definition at line 195 of file allocators.hpp.

◆ value_type

typedef void Gecode::space_allocator< void >::value_type

Type of objects the allocator creates. This is identical to T.

Definition at line 179 of file allocators.hpp.

◆ size_type

typedef size_t Gecode::space_allocator< void >::size_type

Type that can represent the size of the largest object.

Definition at line 181 of file allocators.hpp.

◆ difference_type

typedef ptrdiff_t Gecode::space_allocator< void >::difference_type

Type that can represent the difference between any two pointers.

Definition at line 183 of file allocators.hpp.

◆ pointer

typedef void* Gecode::space_allocator< void >::pointer

Type of pointers returned by the allocator.

Definition at line 185 of file allocators.hpp.

◆ const_pointer

typedef void const* Gecode::space_allocator< void >::const_pointer

Const version of pointer.

Definition at line 187 of file allocators.hpp.

◆ reference

typedef void& Gecode::space_allocator< void >::reference

Non-const reference to T.

Definition at line 189 of file allocators.hpp.

◆ const_reference

typedef void const& Gecode::space_allocator< void >::const_reference

Const reference to T.

Definition at line 191 of file allocators.hpp.

Member Function Documentation

◆ space_allocator() [1/3]

Gecode::space_allocator< void >::space_allocator ( Space & space)
throw ( )
inline

Construction.

Parameters
spaceThe space whose heap to allocate objects from.

Definition at line 205 of file allocators.hpp.

◆ space_allocator() [2/3]

Gecode::space_allocator< void >::space_allocator ( space_allocator< void > const & al)
throw ( )
inline

Copy construction.

Parameters
alThe allocator to copy.

Definition at line 210 of file allocators.hpp.

◆ space_allocator() [3/3]

Gecode::space_allocator< void >::space_allocator ( space_allocator< U > const & al)
throw ( )
inline

Copy from other instantiation.

Parameters
alThe source allocator.

Definition at line 225 of file allocators.hpp.

◆ operator=()

space_allocator & Gecode::space_allocator< void >::operator= ( space_allocator< void > const & al)
inline

Assignment operator.

Parameters
alThe allocator to assign.

Definition at line 215 of file allocators.hpp.

◆ address() [1/2]

pointer Gecode::space_allocator< void >::address ( reference x) const
inline

Convert a reference x to a pointer.

Definition at line 228 of file allocators.hpp.

◆ address() [2/2]

const_pointer Gecode::space_allocator< void >::address ( const_reference x) const
inline

Convert a const reference x to a const pointer.

Definition at line 230 of file allocators.hpp.

◆ max_size()

size_type Gecode::space_allocator< void >::max_size ( void ) const
throw ( )
inline

Returns the largest size for which a call to allocate might succeed.

Definition at line 232 of file allocators.hpp.

◆ allocate() [1/2]

pointer Gecode::space_allocator< void >::allocate ( size_type count)
inline

Allocates storage.

Returns a pointer to the first element in a block of storage count*sizeof(T) bytes in size. The block is aligned appropriately for objects of type T. Throws the exception bad_alloc if the storage is unavailable.

Definition at line 244 of file allocators.hpp.

◆ allocate() [2/2]

pointer Gecode::space_allocator< void >::allocate ( size_type count,
const void *const hint )
inline

Allocates storage.

Returns a pointer to the first element in a block of storage count*sizeof(T) bytes in size. The block is aligned appropriately for objects of type T. Throws the exception bad_alloc if the storage is unavailable. The (unused) parameter could be used as an allocation hint, but this allocator ignores it.

Definition at line 258 of file allocators.hpp.

◆ deallocate()

void Gecode::space_allocator< void >::deallocate ( pointer p,
size_type count )
inline

Deallocates the storage obtained by a call to allocate() with arguments count and p.

Definition at line 264 of file allocators.hpp.

◆ construct()

void Gecode::space_allocator< void >::construct ( pointer element,
const_reference t )
inline

Definition at line 275 of file allocators.hpp.

◆ destroy()

void Gecode::space_allocator< void >::destroy ( pointer element)
inline

Calls the destructor on the object pointed to by element.

Definition at line 280 of file allocators.hpp.

Member Data Documentation

◆ space

Space& Gecode::space_allocator< void >::space

The space that we allocate objects from.

Definition at line 199 of file allocators.hpp.


The documentation for this struct was generated from the following file: