Home
last modified time | relevance | path

Searched refs:isl_basic_set_finalize (Results 1 – 11 of 11) sorted by relevance

/netbsd-src/external/mit/isl/dist/
H A Disl_constraint.c928 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()
H A Disl_vertices.c143 v->v.vertex = isl_basic_set_finalize(v->v.vertex); in add_vertex()
695 c->c.dom = isl_basic_set_finalize(c->c.dom); in add_chamber()
H A Disl_farkas.c307 dual = isl_basic_set_finalize(dual); in farkas()
H A Disl_point.c797 bset = isl_basic_set_finalize(bset); in isl_basic_set_box_from_points()
H A Disl_map_private.h125 __isl_give isl_basic_set *isl_basic_set_finalize(
H A Disl_sample.c824 return isl_basic_set_finalize(shift); in shift_cone()
H A Disl_tab_pip.c812 bset = isl_basic_set_finalize(bset); in sol_map_add_empty()
4707 bset = isl_basic_set_finalize(bset); in select_minimum()
5714 bset = isl_basic_set_finalize(bset); in sol_pma_add_empty()
5735 dom = isl_basic_set_finalize(dom); in sol_pma_add()
H A Disl_convex_hull.c587 hull = isl_basic_set_finalize(hull); in extend()
710 hull = isl_basic_set_finalize(hull); in convex_hull_1d()
H A Disl_map_simplify.c1685 __isl_give isl_basic_set *isl_basic_set_finalize( in isl_basic_set_finalize() function
2041 bset = isl_basic_set_finalize(bset); in isl_basic_set_reduce_using_equalities()
2476 bset = isl_basic_set_finalize(bset); in update_ineq()
H A Disl_map.c2253 return isl_basic_set_finalize(bset); in isl_basic_set_set_integral()
6344 bset = isl_basic_set_finalize(bset); in isl_basic_set_universe()
7687 bset = isl_basic_set_finalize(bset); in basic_set_append_equalities()
9043 return isl_basic_set_finalize(nonneg); in nonneg_halfspace()
9069 return isl_basic_set_finalize(neg); in neg_halfspace()
11441 bset = isl_basic_set_finalize(bset); in isl_basic_set_lift()
12312 bset = isl_basic_set_finalize(bset); in isl_basic_set_unwrap()
H A Disl_mat.c1406 bset = isl_basic_set_finalize(bset); in isl_basic_set_preimage()