Searched refs:isl_basic_set_plain_is_universe (Results 1 – 6 of 6) sorted by relevance
1316 if (isl_basic_set_plain_is_universe(lin)) { in convex_hull_pair()1462 if (isl_basic_set_plain_is_universe(t)) { in uset_convex_hull_unbounded()1827 if (isl_basic_set_plain_is_universe(lin)) { in uset_convex_hull()
2543 if (bset->n_ineq == 0 || isl_basic_set_plain_is_universe(context)) { in uset_gist_full()2562 if (isl_basic_set_plain_is_universe(context)) in uset_gist_full()
1435 is_universe = isl_basic_set_plain_is_universe(bset); in test_plain_unshifted_simple_hull_special()10149 universe = isl_basic_set_plain_is_universe(bset); in test_simplify_2()
3647 if (isl_basic_set_plain_is_universe(bset)) { in isl_basic_map_intersect_range()9286 isl_bool isl_basic_set_plain_is_universe(__isl_keep isl_basic_set *bset) in isl_basic_set_plain_is_universe() function
264 isl_bool isl_basic_set_plain_is_universe(__isl_keep isl_basic_set *bset);
4698 isl_bool isl_basic_set_plain_is_universe(