Home | History | Annotate | Download | only in dist

Lines Matching refs:sol

90 	struct isl_vec *sol;
95 					NULL, NULL, &sol);
98 		return isl_vec_ceil(sol);
140  * Otherwise, return sol.
154 	isl_int *f, isl_int *opt, __isl_take isl_vec *sol, isl_int l, isl_int u)
175 			isl_vec_free(sol);
176 			sol = NULL;
180 			isl_vec_free(sol);
181 			sol = sample;
182 			isl_seq_inner_product(f, sol->el, sol->size, opt);
196 	return sol;
217 	struct isl_vec *sol;
220 					opt, NULL, &sol);
221 	if (res == isl_lp_ok && isl_int_is_one(sol->el[0])) {
223 			*sol_p = sol;
225 			isl_vec_free(sol);
228 	isl_vec_free(sol);
232 	sol = initial_solution(bset, f);
233 	if (!sol)
235 	if (sol->size == 0) {
236 		isl_vec_free(sol);
240 		isl_vec_free(sol);
249 	isl_seq_inner_product(f, sol->el, sol->size, opt);
252 	sol = solve_ilp_search(bset, f, opt, sol, l, u);
253 	if (!sol)
260 		*sol_p = sol;
262 		isl_vec_free(sol);