Searched refs:isl_basic_set_set_rational (Results 1 – 8 of 8) sorted by relevance
219 bset = isl_basic_set_set_rational(bset); in rational_universe()259 dual = isl_basic_set_set_rational(dual); in farkas()701 product = isl_basic_set_set_rational(product); in construct_product()
216 lp = isl_basic_set_set_rational(lp); in wrap_constraints()699 hull = isl_basic_set_set_rational(hull); in convex_hull_1d()795 hull = isl_basic_set_set_rational(hull); in convex_hull_pair_elim()885 lin = isl_basic_set_set_rational(lin); in induced_lineality_space()1764 hull = isl_basic_set_set_rational(hull); in proto_hull()1859 convex_hull = isl_basic_set_set_rational(convex_hull); in uset_convex_hull_wrap_bounded()
457 copy = isl_basic_set_set_rational(copy); in isl_basic_set_compute_vertices()691 c->c.dom = isl_basic_set_set_rational(c->c.dom); in add_chamber()768 todo->bset = isl_basic_set_set_rational(todo->bset); in create_todo()
369 bset = isl_basic_set_set_rational(bset); in main()
388 __isl_give isl_basic_set *isl_basic_set_set_rational(
2385 bset = isl_basic_set_set_rational(bset); in aff_nonneg_basic_set()2440 bset = isl_basic_set_set_rational(bset); in aff_zero_basic_set()
4234 graph->lp = isl_basic_set_set_rational(graph->lp); in setup_carry_lp()
2232 __isl_give isl_basic_set *isl_basic_set_set_rational( in isl_basic_set_set_rational() function