Home | History | Annotate | Download | only in dist

Lines Matching defs:bset

27 	return isl_basic_set_get_ctx(f->bset);
31 	__isl_keep isl_basic_set *bset, __isl_take isl_morph *morph,
50 	f->bset = isl_basic_set_copy(bset);
67 	isl_basic_set_free(f->bset);
91 __isl_give isl_factorizer *isl_factorizer_identity(__isl_keep isl_basic_set *bset)
93 	return isl_factorizer_alloc(bset, isl_morph_identity(bset), 0);
96 __isl_give isl_factorizer *isl_factorizer_groups(__isl_keep isl_basic_set *bset,
108 	nvar = isl_basic_set_dim(bset, isl_dim_set);
109 	off = isl_basic_set_var_offset(bset, isl_dim_set);
113 	id = isl_mat_identity(bset->ctx, 1 + off);
117 	space = isl_basic_set_get_space(bset);
123 	f = isl_factorizer_alloc(bset, morph, n);
269 	__isl_keep isl_basic_set *bset)
277 	nvar = isl_basic_set_dim(bset, isl_dim_set);
278 	first = isl_basic_set_var_offset(bset, isl_dim_set);
279 	if (nvar < 0 || first < 0 || isl_basic_set_check_no_locals(bset) < 0)
283 		return isl_factorizer_identity(bset);
285 	H = isl_mat_alloc(bset->ctx, bset->n_eq + bset->n_ineq, nvar);
288 	isl_mat_sub_copy(bset->ctx, H->row, bset->eq, bset->n_eq,
290 	isl_mat_sub_copy(bset->ctx, H->row + bset->n_eq, bset->ineq, bset->n_ineq,
305 		return isl_factorizer_identity(bset);
319 				isl_die(bset->ctx, isl_error_internal,
329 	f = isl_factorizer_groups(bset, Q, U, n, g.pos);
348 	isl_bool (*test)(__isl_keep isl_basic_set *bset, void *user),
354 	isl_basic_set *bset;
358 	nparam = isl_basic_set_dim(f->bset, isl_dim_param);
359 	nvar = isl_basic_set_dim(f->bset, isl_dim_set);
363 	bset = isl_basic_set_copy(f->bset);
364 	bset = isl_morph_basic_set(isl_morph_copy(f->morph), bset);
369 		factor = isl_basic_set_copy(bset);
386 	isl_basic_set_free(bset);