Searched refs:isl_basic_set_simplify (Results 1 – 10 of 10) sorted by relevance
927 context = isl_basic_set_simplify(context); in set_smallest_upper_bound()957 context = isl_basic_set_simplify(context); in set_largest_lower_bound()1080 context_j = isl_basic_set_simplify(context_j); in foreach_bound_pair()
142 v->v.vertex = isl_basic_set_simplify(v->v.vertex); in add_vertex()694 c->c.dom = isl_basic_set_simplify(c->c.dom); in add_chamber()771 todo->bset = isl_basic_set_simplify(todo->bset); in create_todo()
306 dual = isl_basic_set_simplify(dual); in farkas()
128 __isl_give isl_basic_set *isl_basic_set_simplify(
69 bset = isl_basic_set_simplify(bset); in interval_sample()
586 hull = isl_basic_set_simplify(hull); in extend()610 set->p[i] = isl_basic_set_simplify(set->p[i]); in convex_hull_1d()
811 bset = isl_basic_set_simplify(bset); in sol_map_add_empty()5713 bset = isl_basic_set_simplify(bset); in sol_pma_add_empty()5734 dom = isl_basic_set_simplify(dom); in sol_pma_add()
1548 __isl_give isl_basic_set *isl_basic_set_simplify( in isl_basic_set_simplify() function2040 bset = isl_basic_set_simplify(bset); in isl_basic_set_reduce_using_equalities()
1405 bset = isl_basic_set_simplify(bset); in isl_basic_set_preimage()
2354 bset = isl_basic_set_simplify(bset); in aff_pos_basic_set()2386 bset = isl_basic_set_simplify(bset); in aff_nonneg_basic_set()2441 bset = isl_basic_set_simplify(bset); in aff_zero_basic_set()