Searched refs:check_solution (Results 1 – 2 of 2) sorted by relevance
| /llvm-project-15.0.7/polly/lib/External/isl/ |
| H A D | bound.c | 179 static int check_solution(__isl_take isl_pw_qpolynomial_fold *pwf, in check_solution() function
274 r = check_solution(copy, pwf, exact, options); in main()
|
| H A D | pip.c | 294 static void check_solution(isl_basic_set *bset, isl_basic_set *context, in check_solution() function
411 check_solution(copy, context_copy, set, empty, max); in main()
|