Lines Matching refs:bset
68 static isl_stat scan_0D(__isl_take isl_basic_set *bset, in scan_0D() argument
73 sample = isl_vec_alloc(bset->ctx, 1); in scan_0D()
74 isl_basic_set_free(bset); in scan_0D()
102 isl_stat isl_basic_set_scan(__isl_take isl_basic_set *bset, in isl_basic_set_scan() argument
115 dim = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_scan()
117 bset = isl_basic_set_free(bset); in isl_basic_set_scan()
122 return scan_0D(bset, callback); in isl_basic_set_scan()
124 min = isl_vec_alloc(bset->ctx, dim); in isl_basic_set_scan()
125 max = isl_vec_alloc(bset->ctx, dim); in isl_basic_set_scan()
126 snap = isl_alloc_array(bset->ctx, struct isl_tab_undo *, dim); in isl_basic_set_scan()
131 tab = isl_tab_from_basic_set(bset, 0); in isl_basic_set_scan()
137 tab->basis = isl_mat_identity(bset->ctx, 1 + dim); in isl_basic_set_scan()
153 bset->ctx->one, &min->el[level], NULL, 0); in isl_basic_set_scan()
161 bset->ctx->one, &max->el[level], NULL, 0); in isl_basic_set_scan()
212 isl_basic_set_free(bset); in isl_basic_set_scan()
220 isl_basic_set_free(bset); in isl_basic_set_scan()
251 int isl_basic_set_count_upto(__isl_keep isl_basic_set *bset, in isl_basic_set_count_upto() argument
256 if (!bset) in isl_basic_set_count_upto()
264 if (isl_basic_set_scan(isl_basic_set_copy(bset), &cnt.callback) < 0 && in isl_basic_set_count_upto()