diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2009-03-03 22:08:14 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2009-03-20 15:21:03 +0100 |
commit | 5e07d663e19045190c70fc2195505354c5d85d4f (patch) | |
tree | 588a740b0c72fcdba1b58e796a6324552964dc5f /isl_mat.c | |
parent | 6841be4175bf922931a601706deaf39b1779aefb (diff) | |
download | isl-5e07d663e19045190c70fc2195505354c5d85d4f.tar.gz isl-5e07d663e19045190c70fc2195505354c5d85d4f.tar.bz2 isl-5e07d663e19045190c70fc2195505354c5d85d4f.zip |
isl_{basic_,}set_preimage: drop ctx argument
Diffstat (limited to 'isl_mat.c')
-rw-r--r-- | isl_mat.c | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -750,15 +750,17 @@ error: * the div array too as the number of rows in this array is assumed * to be equal to extra. */ -struct isl_basic_set *isl_basic_set_preimage(struct isl_ctx *ctx, - struct isl_basic_set *bset, struct isl_mat *mat) +struct isl_basic_set *isl_basic_set_preimage(struct isl_basic_set *bset, + struct isl_mat *mat) { + struct isl_ctx *ctx; struct isl_mat *t; int i; if (!bset || !mat) goto error; + ctx = bset->ctx; bset = isl_basic_set_cow(bset); if (!bset) goto error; @@ -808,9 +810,9 @@ error2: return NULL; } -struct isl_set *isl_set_preimage(struct isl_ctx *ctx, - struct isl_set *set, struct isl_mat *mat) +struct isl_set *isl_set_preimage(struct isl_set *set, struct isl_mat *mat) { + struct isl_ctx *ctx; int i; set = isl_set_cow(set); @@ -819,7 +821,7 @@ struct isl_set *isl_set_preimage(struct isl_ctx *ctx, ctx = set->ctx; for (i = 0; i < set->n; ++i) { - set->p[i] = isl_basic_set_preimage(ctx, set->p[i], + set->p[i] = isl_basic_set_preimage(set->p[i], isl_mat_copy(ctx, mat)); if (!set->p[i]) goto error; |