Lines Matching refs:isl_vec_alloc
935 ineq = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_param + tab->n_div); in get_row_parameter_ineq()
985 div = isl_vec_alloc(tab->mat->ctx, 1 + 1 + tab->n_param + tab->n_div); in get_row_parameter_div()
1013 div = isl_vec_alloc(tab->mat->ctx, 1 + 1 + tab->n_param + tab->n_div); in get_row_split_div()
1048 ineq = isl_vec_alloc(bset->ctx, 1 + total); in ineq_for_div()
2752 ineq = isl_vec_alloc(tab->mat->ctx, 1 + context_tab->n_var); in tab_detect_nonnegative_parameters()
2952 cst = isl_vec_alloc(cgbr->tab->mat->ctx, bset->n_ineq); in gbr_init_shifted()
2987 return isl_vec_alloc(cgbr->tab->mat->ctx, 0); in gbr_get_shifted_sample()
3366 eq = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var); in propagate_equalities()
4292 eq = isl_vec_alloc(tab->mat->ctx, 1+tab->n_param+tab->n_div); in find_solutions_main()
5015 v = isl_vec_alloc(ctx, len); in extract_sample_sequence()
5160 v = isl_vec_alloc(ctx, 1 + tab->n_var); in force_better_solution()
5273 data->v = isl_vec_alloc(ctx, 1 + data->tab->n_var); in init_lexmin_data()
5281 data->sol = isl_vec_alloc(ctx, 0); in init_lexmin_data()
5684 return isl_vec_alloc(tl->ctx, 0); in isl_tab_lexmin_get_solution()