isl_range.h File Reference

#include <isl_bound.h>

Go to the source code of this file.

Functions
isl_stat	isl_qpolynomial_bound_on_domain_range (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct isl_bound *bound)
__isl_give isl_qpolynomial *	isl_qpolynomial_terms_of_sign (__isl_keep isl_qpolynomial *poly, int *signs, int sign)

Function Documentation

isl_qpolynomial_bound_on_domain_range()

isl_stat isl_qpolynomial_bound_on_domain_range	(	__isl_take isl_basic_set *	bset,
		__isl_take isl_qpolynomial *	poly,
		struct isl_bound *	bound
	)

Definition at line 542 of file isl_range.c.

References bound, isl_fold_min, poly, range_data::pwf, range_data::pwf_tight, qpolynomial_bound_on_domain_range(), range_data::sign, and range_data::tight.

Referenced by compressed_guarded_poly_bound().

isl_qpolynomial_terms_of_sign()

__isl_give isl_qpolynomial * isl_qpolynomial_terms_of_sign	(	__isl_keep isl_qpolynomial *	poly,
		int *	signs,
		int	sign
	)

Definition at line 247 of file isl_range.c.

References collect_fixed_sign_terms(), isl_qpolynomial_foreach_term(), isl_qpolynomial_free(), isl_qpolynomial_get_domain_space(), isl_qpolynomial_zero_on_domain(), isl_fixed_sign_data::poly, poly, isl_fixed_sign_data::sign, and isl_fixed_sign_data::signs.

Referenced by propagate_on_bound_pair(), and to_polynomial_on_orthant().