3 struct isl_blk isl_blk_empty()
11 struct isl_blk isl_blk_alloc(struct isl_ctx *ctx, size_t n)
15 block.data = isl_alloc_array(ctx, isl_int, n);
21 for (i = 0; i < n; ++i)
22 isl_int_init(block.data[i]);
28 struct isl_blk isl_blk_extend(struct isl_ctx *ctx, struct isl_blk block,
31 if (block.size >= new_n)
33 block.data = isl_realloc_array(ctx, block.data, isl_int, new_n);
38 for (i = block.size; i < new_n; ++i)
39 isl_int_init(block.data[i]);
46 void isl_blk_free(struct isl_ctx *ctx, struct isl_blk block)
50 for (i = 0; i < block.size; ++i)
51 isl_int_clear(block.data[i]);