1675 __isl_give isl_pw_aff *isl_pw_aff_mod(__isl_take isl_pw_aff *pwaff, isl_int m)  in isl_pw_aff_mod()  argument
1679 	res = isl_pw_aff_copy(pwaff);  in isl_pw_aff_mod()
1680 	pwaff = isl_pw_aff_scale_down(pwaff, m);  in isl_pw_aff_mod()
1681 	pwaff = isl_pw_aff_floor(pwaff);  in isl_pw_aff_mod()
1682 	pwaff = isl_pw_aff_scale(pwaff, m);  in isl_pw_aff_mod()
1683 	res = isl_pw_aff_sub(res, pwaff);  in isl_pw_aff_mod()
2806 static __isl_give isl_set *pw_aff_locus(__isl_take isl_pw_aff *pwaff,  in pw_aff_locus()  argument
2814 	if (!pwaff)  in pw_aff_locus()
2817 	set = isl_set_empty(isl_pw_aff_get_domain_space(pwaff));  in pw_aff_locus()
2819 	for (i = 0; i < pwaff->n; ++i) {  in pw_aff_locus()
2824 		if (isl_aff_is_nan(pwaff->p[i].aff))  in pw_aff_locus()
2827 		rational = isl_set_has_rational(pwaff->p[i].set);  in pw_aff_locus()
2828 		bset = fn(isl_aff_copy(pwaff->p[i].aff), rational, user);  in pw_aff_locus()
2830 		set_i = isl_set_copy(pwaff->p[i].set);  in pw_aff_locus()
2838 	isl_pw_aff_free(pwaff);  in pw_aff_locus()
2854 __isl_give isl_set *isl_pw_aff_nonneg_set(__isl_take isl_pw_aff *pwaff)  in isl_pw_aff_nonneg_set()  argument
2856 	return pw_aff_locus(pwaff, &aff_nonneg_basic_set, 0, NULL);  in isl_pw_aff_nonneg_set()
2862 __isl_give isl_set *isl_pw_aff_zero_set(__isl_take isl_pw_aff *pwaff)  in isl_pw_aff_zero_set()  argument
2864 	return pw_aff_locus(pwaff, &aff_zero_basic_set, 0, NULL);  in isl_pw_aff_zero_set()
2870 __isl_give isl_set *isl_pw_aff_non_zero_set(__isl_take isl_pw_aff *pwaff)  in isl_pw_aff_non_zero_set()  argument
2872 	return pw_aff_locus(pwaff, &aff_zero_basic_set, 1, NULL);  in isl_pw_aff_non_zero_set()
3185 __isl_give isl_pw_aff *isl_pw_aff_scale_down(__isl_take isl_pw_aff *pwaff,  in isl_pw_aff_scale_down()  argument
3191 		return pwaff;  in isl_pw_aff_scale_down()
3193 		isl_die(isl_pw_aff_get_ctx(pwaff), isl_error_invalid,  in isl_pw_aff_scale_down()
3195 			return isl_pw_aff_free(pwaff));  in isl_pw_aff_scale_down()
3196 	pwaff = isl_pw_aff_cow(pwaff);  in isl_pw_aff_scale_down()
3197 	if (!pwaff)  in isl_pw_aff_scale_down()
3199 	if (pwaff->n == 0)  in isl_pw_aff_scale_down()
3200 		return pwaff;  in isl_pw_aff_scale_down()
3202 	for (i = 0; i < pwaff->n; ++i) {  in isl_pw_aff_scale_down()
3203 		pwaff->p[i].aff = isl_aff_scale_down(pwaff->p[i].aff, v);  in isl_pw_aff_scale_down()
3204 		if (!pwaff->p[i].aff)  in isl_pw_aff_scale_down()
3205 			return isl_pw_aff_free(pwaff);  in isl_pw_aff_scale_down()
3208 	return pwaff;  in isl_pw_aff_scale_down()
3211 __isl_give isl_pw_aff *isl_pw_aff_floor(__isl_take isl_pw_aff *pwaff)  in isl_pw_aff_floor()  argument
3215 	pwaff = isl_pw_aff_cow(pwaff);  in isl_pw_aff_floor()
3216 	if (!pwaff)  in isl_pw_aff_floor()
3218 	if (pwaff->n == 0)  in isl_pw_aff_floor()
3219 		return pwaff;  in isl_pw_aff_floor()
3221 	for (i = 0; i < pwaff->n; ++i) {  in isl_pw_aff_floor()
3222 		pwaff->p[i].aff = isl_aff_floor(pwaff->p[i].aff);  in isl_pw_aff_floor()
3223 		if (!pwaff->p[i].aff)  in isl_pw_aff_floor()
3224 			return isl_pw_aff_free(pwaff);  in isl_pw_aff_floor()
3227 	return pwaff;  in isl_pw_aff_floor()
3230 __isl_give isl_pw_aff *isl_pw_aff_ceil(__isl_take isl_pw_aff *pwaff)  in isl_pw_aff_ceil()  argument
3234 	pwaff = isl_pw_aff_cow(pwaff);  in isl_pw_aff_ceil()
3235 	if (!pwaff)  in isl_pw_aff_ceil()
3237 	if (pwaff->n == 0)  in isl_pw_aff_ceil()
3238 		return pwaff;  in isl_pw_aff_ceil()
3240 	for (i = 0; i < pwaff->n; ++i) {  in isl_pw_aff_ceil()
3241 		pwaff->p[i].aff = isl_aff_ceil(pwaff->p[i].aff);  in isl_pw_aff_ceil()
3242 		if (!pwaff->p[i].aff)  in isl_pw_aff_ceil()
3243 			return isl_pw_aff_free(pwaff);  in isl_pw_aff_ceil()
3246 	return pwaff;  in isl_pw_aff_ceil()
3331 isl_bool isl_pw_aff_is_cst(__isl_keep isl_pw_aff *pwaff)  in isl_pw_aff_is_cst()  argument
3335 	if (!pwaff)  in isl_pw_aff_is_cst()
3338 	for (i = 0; i < pwaff->n; ++i) {  in isl_pw_aff_is_cst()
3339 		isl_bool is_cst = isl_aff_is_cst(pwaff->p[i].aff);  in isl_pw_aff_is_cst()
3707 __isl_give isl_pw_aff *isl_pw_aff_set_rational(__isl_take isl_pw_aff *pwaff)  in isl_pw_aff_set_rational()  argument
3711 	pwaff = isl_pw_aff_cow(pwaff);  in isl_pw_aff_set_rational()
3712 	if (!pwaff)  in isl_pw_aff_set_rational()
3714 	if (pwaff->n == 0)  in isl_pw_aff_set_rational()
3715 		return pwaff;  in isl_pw_aff_set_rational()
3717 	for (i = 0; i < pwaff->n; ++i) {  in isl_pw_aff_set_rational()
3718 		pwaff->p[i].set = isl_set_set_rational(pwaff->p[i].set);  in isl_pw_aff_set_rational()
3719 		if (!pwaff->p[i].set)  in isl_pw_aff_set_rational()
3720 			return isl_pw_aff_free(pwaff);  in isl_pw_aff_set_rational()
3723 	return pwaff;  in isl_pw_aff_set_rational()