1804 __isl_give isl_pw_aff *isl_pw_aff_mod(__isl_take isl_pw_aff *pwaff, isl_int m)  in isl_pw_aff_mod()  argument
1808 	res = isl_pw_aff_copy(pwaff);  in isl_pw_aff_mod()
1809 	pwaff = isl_pw_aff_scale_down(pwaff, m);  in isl_pw_aff_mod()
1810 	pwaff = isl_pw_aff_floor(pwaff);  in isl_pw_aff_mod()
1811 	pwaff = isl_pw_aff_scale(pwaff, m);  in isl_pw_aff_mod()
1812 	res = isl_pw_aff_sub(res, pwaff);  in isl_pw_aff_mod()
2974 static __isl_give isl_set *pw_aff_locus(__isl_take isl_pw_aff *pwaff,  in pw_aff_locus()  argument
2982 	if (!pwaff)  in pw_aff_locus()
2985 	set = isl_set_empty(isl_pw_aff_get_domain_space(pwaff));  in pw_aff_locus()
2987 	for (i = 0; i < pwaff->n; ++i) {  in pw_aff_locus()
2992 		if (isl_aff_is_nan(pwaff->p[i].aff))  in pw_aff_locus()
2995 		rational = isl_set_has_rational(pwaff->p[i].set);  in pw_aff_locus()
2996 		bset = fn(isl_aff_copy(pwaff->p[i].aff), rational, user);  in pw_aff_locus()
2998 		set_i = isl_set_copy(pwaff->p[i].set);  in pw_aff_locus()
3006 	isl_pw_aff_free(pwaff);  in pw_aff_locus()
3022 __isl_give isl_set *isl_pw_aff_nonneg_set(__isl_take isl_pw_aff *pwaff)  in isl_pw_aff_nonneg_set()  argument
3024 	return pw_aff_locus(pwaff, &aff_nonneg_basic_set, 0, NULL);  in isl_pw_aff_nonneg_set()
3030 __isl_give isl_set *isl_pw_aff_zero_set(__isl_take isl_pw_aff *pwaff)  in isl_pw_aff_zero_set()  argument
3032 	return pw_aff_locus(pwaff, &aff_zero_basic_set, 0, NULL);  in isl_pw_aff_zero_set()
3038 __isl_give isl_set *isl_pw_aff_non_zero_set(__isl_take isl_pw_aff *pwaff)  in isl_pw_aff_non_zero_set()  argument
3040 	return pw_aff_locus(pwaff, &aff_zero_basic_set, 1, NULL);  in isl_pw_aff_non_zero_set()
3353 __isl_give isl_pw_aff *isl_pw_aff_scale_down(__isl_take isl_pw_aff *pwaff,  in isl_pw_aff_scale_down()  argument
3359 		return pwaff;  in isl_pw_aff_scale_down()
3361 		isl_die(isl_pw_aff_get_ctx(pwaff), isl_error_invalid,  in isl_pw_aff_scale_down()
3363 			return isl_pw_aff_free(pwaff));  in isl_pw_aff_scale_down()
3364 	pwaff = isl_pw_aff_cow(pwaff);  in isl_pw_aff_scale_down()
3365 	if (!pwaff)  in isl_pw_aff_scale_down()
3367 	if (pwaff->n == 0)  in isl_pw_aff_scale_down()
3368 		return pwaff;  in isl_pw_aff_scale_down()
3370 	for (i = 0; i < pwaff->n; ++i) {  in isl_pw_aff_scale_down()
3371 		pwaff->p[i].aff = isl_aff_scale_down(pwaff->p[i].aff, v);  in isl_pw_aff_scale_down()
3372 		if (!pwaff->p[i].aff)  in isl_pw_aff_scale_down()
3373 			return isl_pw_aff_free(pwaff);  in isl_pw_aff_scale_down()
3376 	return pwaff;  in isl_pw_aff_scale_down()
3379 __isl_give isl_pw_aff *isl_pw_aff_floor(__isl_take isl_pw_aff *pwaff)  in isl_pw_aff_floor()  argument
3382 	return isl_pw_aff_un_op(pwaff, &control);  in isl_pw_aff_floor()
3385 __isl_give isl_pw_aff *isl_pw_aff_ceil(__isl_take isl_pw_aff *pwaff)  in isl_pw_aff_ceil()  argument
3388 	return isl_pw_aff_un_op(pwaff, &control);  in isl_pw_aff_ceil()
3473 isl_bool isl_pw_aff_is_cst(__isl_keep isl_pw_aff *pwaff)  in isl_pw_aff_is_cst()  argument
3477 	if (!pwaff)  in isl_pw_aff_is_cst()
3480 	for (i = 0; i < pwaff->n; ++i) {  in isl_pw_aff_is_cst()
3481 		isl_bool is_cst = isl_aff_is_cst(pwaff->p[i].aff);  in isl_pw_aff_is_cst()
3959 __isl_give isl_pw_aff *isl_pw_aff_set_rational(__isl_take isl_pw_aff *pwaff)  in isl_pw_aff_set_rational()  argument
3963 	pwaff = isl_pw_aff_cow(pwaff);  in isl_pw_aff_set_rational()
3964 	if (!pwaff)  in isl_pw_aff_set_rational()
3966 	if (pwaff->n == 0)  in isl_pw_aff_set_rational()
3967 		return pwaff;  in isl_pw_aff_set_rational()
3969 	for (i = 0; i < pwaff->n; ++i) {  in isl_pw_aff_set_rational()
3970 		pwaff->p[i].set = isl_set_set_rational(pwaff->p[i].set);  in isl_pw_aff_set_rational()
3971 		if (!pwaff->p[i].set)  in isl_pw_aff_set_rational()
3972 			return isl_pw_aff_free(pwaff);  in isl_pw_aff_set_rational()
3975 	return pwaff;  in isl_pw_aff_set_rational()