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()
72 if (isl_basic_set_plain_is_empty(bset)) in interval_sample()637 if (isl_basic_set_plain_is_empty(bset)) in sample_bounded()1160 if (isl_basic_set_plain_is_empty(bset)) in basic_set_sample()
492 if (isl_basic_set_plain_is_empty(bset)) in isl_basic_set_variable_compression()582 if (isl_basic_set_plain_is_empty(bset)) in isl_basic_set_parameter_compression()
195 if (isl_basic_set_plain_is_empty(bset)) { in opt_at()
252 if (isl_basic_set_plain_is_empty(bset)) { in farkas()
323 if (isl_basic_set_plain_is_empty(bset)) in isl_basic_set_solve_ilp()
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()
441 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()
4464 if (isl_basic_set_plain_is_empty(context->op->peek_basic_set(context))) in basic_map_partial_lexopt_base_sol()
5101 if (isl_basic_set_plain_is_empty(bset)) in isl_basic_set_multiplicative_call()
7825 if (isl_basic_set_plain_is_empty(bset)) in parameter_compute_divs()9516 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);
4716 isl_bool isl_basic_set_plain_is_empty(