Searched refs:isl_basic_set_finalize (Results 1 – 11 of 11) sorted by relevance
928 context = isl_basic_set_finalize(context); in set_smallest_upper_bound()958 context = isl_basic_set_finalize(context); in set_largest_lower_bound()1081 context_j = isl_basic_set_finalize(context_j); in foreach_bound_pair()
143 v->v.vertex = isl_basic_set_finalize(v->v.vertex); in add_vertex()693 c->c.dom = isl_basic_set_finalize(c->c.dom); in add_chamber()
307 dual = isl_basic_set_finalize(dual); in farkas()
794 bset = isl_basic_set_finalize(bset); in isl_basic_set_box_from_points()
125 __isl_give isl_basic_set *isl_basic_set_finalize(
824 return isl_basic_set_finalize(shift); in shift_cone()
786 bset = isl_basic_set_finalize(bset); in sol_map_add_empty()4681 bset = isl_basic_set_finalize(bset); in select_minimum()5688 bset = isl_basic_set_finalize(bset); in sol_pma_add_empty()5709 dom = isl_basic_set_finalize(dom); in sol_pma_add()
587 hull = isl_basic_set_finalize(hull); in extend()710 hull = isl_basic_set_finalize(hull); in convex_hull_1d()
1685 __isl_give isl_basic_set *isl_basic_set_finalize( in isl_basic_set_finalize() function2041 bset = isl_basic_set_finalize(bset); in isl_basic_set_reduce_using_equalities()2476 bset = isl_basic_set_finalize(bset); in update_ineq()
2254 return isl_basic_set_finalize(bset); in isl_basic_set_set_integral()6295 bset = isl_basic_set_finalize(bset); in isl_basic_set_universe()7619 bset = isl_basic_set_finalize(bset); in basic_set_append_equalities()8958 return isl_basic_set_finalize(nonneg); in nonneg_halfspace()8984 return isl_basic_set_finalize(neg); in neg_halfspace()11356 bset = isl_basic_set_finalize(bset); in isl_basic_set_lift()12228 bset = isl_basic_set_finalize(bset); in isl_basic_set_unwrap()
1406 bset = isl_basic_set_finalize(bset); in isl_basic_set_preimage()