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 const void * | const_pointer |
| typedef void | value_type |
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
| typedef void* Gecode::space_allocator< void >::pointer |
Definition at line 158 of file allocators.hpp.
| typedef const void* Gecode::space_allocator< void >::const_pointer |
Definition at line 159 of file allocators.hpp.
| typedef void Gecode::space_allocator< void >::value_type |
Definition at line 160 of file allocators.hpp.
The documentation for this struct was generated from the following file:
- gecode/kernel/allocators.hpp (Revision: 11514)