Generated on Fri Jan 10 2020 11:38:25 for Gecode by doxygen 1.8.16
Gecode::space_allocator< void > Struct Template Reference

Space allocator - specialization for void. More...

#include <allocators.hpp>

Classes

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

Public Types

typedef void * pointer
 
typedef void value_type
 

Public Attributes

const typedef void * const_pointer
 

Detailed Description

template<>
struct Gecode::space_allocator< void >

Space allocator - specialization for void.

The specialization is needed as the default instantiation fails for void.

Definition at line 157 of file allocators.hpp.

Member Typedef Documentation

◆ pointer

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

Definition at line 158 of file allocators.hpp.

◆ value_type

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

Definition at line 160 of file allocators.hpp.

Member Data Documentation

◆ const_pointer

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

Definition at line 159 of file allocators.hpp.


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