operator delete(void *, BlockAllocator< T, A, blocksize > &ba) | Gecode::Support::BlockClient< T, A, blocksize > | [inline, static] |
operator delete(void *) | Gecode::Support::BlockClient< T, A, blocksize > | [inline, static] |
operator new(size_t s, BlockAllocator< T, A, blocksize > &ba) | Gecode::Support::BlockClient< T, A, blocksize > | [inline, static] |