3 struct isl_blk isl_blk_alloc(struct isl_ctx *ctx, size_t n)
7 block.data = isl_alloc_array(ctx, isl_int, n);
13 for (i = 0; i < n; ++i)
14 isl_int_init(block.data[i]);
20 struct isl_blk isl_blk_extend(struct isl_ctx *ctx, struct isl_blk block,
23 if (block.size >= new_n)
25 block.data = isl_realloc_array(ctx, block.data, isl_int, new_n);
30 for (i = block.size; i < new_n; ++i)
31 isl_int_init(block.data[i]);
38 void isl_blk_free(struct isl_ctx *ctx, struct isl_blk block)
42 for (i = 0; i < block.size; ++i)
43 isl_int_clear(block.data[i]);