Searched refs:isl_set_count_upto (Results 1 – 3 of 3) sorted by relevance
278 int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count) in isl_set_count_upto() function308 return isl_set_count_upto(set, set->ctx->zero, count); in isl_set_count()
198 r = isl_set_count_upto(context, max, &count); in check_solution()
557 int isl_set_count_upto(__isl_keep isl_set *set, isl_int max, isl_int *count);