Searched refs:isl_basic_set_count_upto (Results 1 – 3 of 3) sorted by relevance
251 int isl_basic_set_count_upto(__isl_keep isl_basic_set *bset, in isl_basic_set_count_upto() function
309 r = isl_basic_set_count_upto(context, count_max, &count); in check_solution()
555 int isl_basic_set_count_upto(__isl_keep isl_basic_set *bset,