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