Searched refs:unit_box (Results 1 – 1 of 1) sorted by relevance
38 struct isl_basic_set *unit_box = NULL; in unit_box_base_points() local53 unit_box = isl_basic_set_alloc_space(isl_basic_set_get_space(bset), in unit_box_base_points()57 k = isl_basic_set_alloc_inequality(unit_box); in unit_box_base_points()60 isl_seq_cpy(unit_box->ineq[k], bset->ineq[i], 1 + total); in unit_box_base_points()62 if (isl_int_is_nonneg(unit_box->ineq[k][1 + j])) in unit_box_base_points()64 isl_int_add(unit_box->ineq[k][0], in unit_box_base_points()65 unit_box->ineq[k][0], unit_box->ineq[k][1 + j]); in unit_box_base_points()70 return unit_box; in unit_box_base_points()73 isl_basic_set_free(unit_box); in unit_box_base_points()89 struct isl_basic_set *unit_box; in initial_solution() local[all …]