isl_bernstein.h File Reference

#include <isl_bound.h>

Go to the source code of this file.

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

Function Documentation

isl_qpolynomial_bound_on_domain_bernstein()

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

Definition at line 550 of file isl_bernstein.c.

References bernstein_coefficients_base(), bernstein_coefficients_factors(), bernstein_coefficients_full_recursive(), bound, bernstein_data::check_tight, isl_basic_set_dim(), isl_basic_set_free(), ISL_BERNSTEIN_FACTORS, ISL_BERNSTEIN_INTERVALS, isl_bool_false, isl_bound_add(), isl_bound_add_tight(), isl_dim_set, isl_qpolynomial_free(), isl_stat_error, poly, bernstein_data::pwf, tight, and bernstein_data::type.

Referenced by compressed_guarded_poly_bound().