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