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 const void * | const_pointer |
typedef void | value_type |
Space allocator - specialization for void
.
The specialization is needed as the default instantiation fails for void
.
Definition at line 157 of file allocators.hpp.
void* Gecode::space_allocator< void >::pointer |
Definition at line 158 of file allocators.hpp.
const void* Gecode::space_allocator< void >::const_pointer |
Definition at line 159 of file allocators.hpp.
void Gecode::space_allocator< void >::value_type |
Definition at line 160 of file allocators.hpp.