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