Rebinding helper (returns the type of a similar allocator for type U). More...
#include <allocators.hpp>
Public Types | |
typedef space_allocator< U > | other |
The allocator type for U. More... | |
Rebinding helper (returns the type of a similar allocator for type U).
Definition at line 193 of file allocators.hpp.
typedef space_allocator<U> Gecode::space_allocator< T >::rebind< U >::other |
The allocator type for U.
Definition at line 195 of file allocators.hpp.