58 	isl_pw_qpolynomial_fold *pwf;  member
69 	isl_pw_qpolynomial_fold *pwf;  in verify_point()  local
93 	pwf = isl_pw_qpolynomial_fold_copy(vpb->pwf);  in verify_point()
95 	nparam = isl_pw_qpolynomial_fold_dim(pwf, isl_dim_param);  in verify_point()
97 		pwf = isl_pw_qpolynomial_fold_free(pwf);  in verify_point()
100 		pwf = isl_pw_qpolynomial_fold_fix_val(pwf, isl_dim_param, i, v);  in verify_point()
107 	dom = isl_pw_qpolynomial_fold_domain(isl_pw_qpolynomial_fold_copy(pwf));  in verify_point()
115 				    isl_pw_qpolynomial_fold_copy(pwf),  in verify_point()
118 		opt = isl_pw_qpolynomial_fold_max(isl_pw_qpolynomial_fold_copy(pwf));  in verify_point()
120 		opt = isl_pw_qpolynomial_fold_min(isl_pw_qpolynomial_fold_copy(pwf));  in verify_point()
162 	isl_pw_qpolynomial_fold_free(pwf);  in verify_point()
179 static int check_solution(__isl_take isl_pw_qpolynomial_fold *pwf,  in check_solution()  argument
189 	dom = isl_pw_qpolynomial_fold_domain(isl_pw_qpolynomial_fold_copy(pwf));  in check_solution()
206 	vpb.pwf = pwf;  in check_solution()
224 	isl_pw_qpolynomial_fold_free(pwf);  in check_solution()
242 	isl_pw_qpolynomial_fold *pwf;  in main()  local
258 		pwf = isl_pw_qpolynomial_fold_from_pw_qpolynomial(isl_fold_max,  in main()
261 		pwf = obj.v;  in main()
268 		copy = isl_pw_qpolynomial_fold_copy(pwf);  in main()
270 	pwf = isl_pw_qpolynomial_fold_bound(pwf, &exact);  in main()
271 	pwf = isl_pw_qpolynomial_fold_coalesce(pwf);  in main()
274 		r = check_solution(copy, pwf, exact, options);  in main()
278 		isl_pw_qpolynomial_fold_print(pwf, stdout, 0);  in main()
280 		isl_pw_qpolynomial_fold_free(pwf);  in main()