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