Searched refs:isl_basic_set_alloc_inequality (Results 1 – 13 of 13) sorted by relevance
230 k = isl_basic_set_alloc_inequality(lp); in wrap_constraints()242 k = isl_basic_set_alloc_inequality(lp); in wrap_constraints()576 k = isl_basic_set_alloc_inequality(hull); in extend()703 k = isl_basic_set_alloc_inequality(hull); in convex_hull_1d()707 k = isl_basic_set_alloc_inequality(hull); in convex_hull_1d()772 k = isl_basic_set_alloc_inequality(hull); in convex_hull_pair_elim()780 k = isl_basic_set_alloc_inequality(hull); in convex_hull_pair_elim()896 k = isl_basic_set_alloc_inequality(lin); in induced_lineality_space()910 k = isl_basic_set_alloc_inequality(lin); in induced_lineality_space()1014 k = isl_basic_set_alloc_inequality(lp); in valid_direction_lp()[all …]
283 k = isl_basic_set_alloc_inequality(dual); in farkas()292 k = isl_basic_set_alloc_inequality(dual); in farkas()525 k = isl_basic_set_alloc_inequality(bset); in add_rays()609 k = isl_basic_set_alloc_inequality(bset); in add_vertex()
57 k = isl_basic_set_alloc_inequality(unit_box); in unit_box_base_points()119 k = isl_basic_set_alloc_inequality(bset); in add_bounds()125 k = isl_basic_set_alloc_inequality(bset); in add_bounds()
116 k = isl_basic_set_alloc_inequality(dom); in SF()
770 k = isl_basic_set_alloc_inequality(bset); in isl_basic_set_box_from_points()783 k = isl_basic_set_alloc_inequality(bset); in isl_basic_set_box_from_points()
2495 k = isl_basic_set_alloc_inequality(graph->lp); in add_bound_constant_constraints()2575 k = isl_basic_set_alloc_inequality(graph->lp); in node_add_coefficient_constraints()2598 k = isl_basic_set_alloc_inequality(graph->lp); in node_add_coefficient_constraints()2604 k = isl_basic_set_alloc_inequality(graph->lp); in node_add_coefficient_constraints()4251 k = isl_basic_set_alloc_inequality(graph->lp); in setup_carry_lp()
226 int isl_basic_set_alloc_inequality(__isl_keep isl_basic_set *bset);
804 k = isl_basic_set_alloc_inequality(shift); in shift_cone()
880 k = isl_basic_set_alloc_inequality(bset); in add_larger_bound_constraint()
4756 k = isl_basic_set_alloc_inequality(bset); in set_div_slice()4762 k = isl_basic_set_alloc_inequality(bset); in set_div_slice()
318 k = isl_basic_set_alloc_inequality(bset); in parametric_constant_never_positive()
1760 int isl_basic_set_alloc_inequality(__isl_keep isl_basic_set *bset) in isl_basic_set_alloc_inequality() function9012 int k = isl_basic_set_alloc_inequality(bset); in isl_basic_set_positive_orthant()9037 k = isl_basic_set_alloc_inequality(nonneg); in nonneg_halfspace()9062 k = isl_basic_set_alloc_inequality(neg); in neg_halfspace()
4697 k = isl_basic_set_alloc_inequality(bset); in select_minimum()