Searched refs:isl_basic_set_plain_is_empty (Results 1 – 14 of 14) sorted by relevance
323 empty = isl_basic_set_plain_is_empty(bset); in isl_basic_set_recession_cone()506 if (isl_basic_set_plain_is_empty(bset)) in uset_affine_hull_bounded()814 if (isl_basic_set_plain_is_empty(bset)) in uset_affine_hull()
69 if (isl_basic_set_plain_is_empty(bset)) in interval_sample()634 if (isl_basic_set_plain_is_empty(bset)) in sample_bounded()1159 if (isl_basic_set_plain_is_empty(bset)) in basic_set_sample()
488 if (isl_basic_set_plain_is_empty(bset)) in isl_basic_set_variable_compression()578 if (isl_basic_set_plain_is_empty(bset)) in isl_basic_set_parameter_compression()
196 if (isl_basic_set_plain_is_empty(bset)) { in opt_at()
323 if (isl_basic_set_plain_is_empty(bset)) in isl_basic_set_solve_ilp()
252 if (isl_basic_set_plain_is_empty(bset)) { in farkas()
2715 if (isl_basic_set_plain_is_empty(context)) { in uset_gist_compressed()2831 if (isl_basic_set_plain_is_empty(aff)) { in uset_gist()3305 isl_basic_set_plain_is_empty(bset)) { in isl_basic_map_gist()
439 if (isl_basic_set_plain_is_empty(bset)) in isl_basic_set_compute_vertices()
817 if (isl_basic_set_plain_is_empty(bset)) in isl_basic_set_is_bounded()
4438 if (isl_basic_set_plain_is_empty(context->op->peek_basic_set(context))) in basic_map_partial_lexopt_base_sol()
4887 if (isl_basic_set_plain_is_empty(bset)) in isl_basic_set_multiplicative_call()
7789 if (isl_basic_set_plain_is_empty(bset)) in parameter_compute_divs()9423 isl_bool isl_basic_set_plain_is_empty(__isl_keep isl_basic_set *bset) in isl_basic_set_plain_is_empty() function
266 isl_bool isl_basic_set_plain_is_empty(__isl_keep isl_basic_set *bset);
4665 isl_bool isl_basic_set_plain_is_empty(