Searched refs:check_solution (Results 1 – 2 of 2) sorted by relevance
| /netbsd-src/external/mit/isl/dist/ |
| 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 | 293 static void check_solution(isl_basic_set *bset, isl_basic_set *context, in check_solution() function
410 check_solution(copy, context_copy, set, empty, max); in main()
|