ArrayAllocator: class for allocation of arrays. More...
#include <givarrayallocator.h>
ArrayAllocator: class for allocation of arrays.
Specialization: for Array0Tag.
Should have