isl_bound.h File Reference

#include <isl/polynomial.h>

Go to the source code of this file.

Classes
struct	isl_bound

Functions
__isl_give isl_pw_qpolynomial_fold *	isl_qpolynomial_cst_bound (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, enum isl_fold type, isl_bool *tight)
isl_stat	isl_bound_add (struct isl_bound *bound, __isl_take isl_pw_qpolynomial_fold *pwf)
isl_stat	isl_bound_add_tight (struct isl_bound *bound, __isl_take isl_pw_qpolynomial_fold *pwf)

Function Documentation

isl_bound_add()

isl_stat isl_bound_add	(	struct isl_bound *	bound,
		__isl_take isl_pw_qpolynomial_fold *	pwf
	)

Definition at line 43 of file isl_bound.c.

References bound, isl_pw_qpolynomial_fold_fold(), and isl_stat_non_null().

Referenced by guarded_poly_bound(), isl_qpolynomial_bound_on_domain_bernstein(), and unwrapped_guarded_poly_bound().

isl_bound_add_tight()

isl_stat isl_bound_add_tight	(	struct isl_bound *	bound,
		__isl_take isl_pw_qpolynomial_fold *	pwf
	)

Definition at line 53 of file isl_bound.c.

References bound, isl_pw_qpolynomial_fold_fold(), and isl_stat_non_null().

Referenced by add_constant_poly(), guarded_poly_bound(), isl_qpolynomial_bound_on_domain_bernstein(), and unwrapped_guarded_poly_bound().

isl_qpolynomial_cst_bound()

__isl_give isl_pw_qpolynomial_fold * isl_qpolynomial_cst_bound	(	__isl_take isl_basic_set *	bset,
		__isl_take isl_qpolynomial *	poly,
		enum isl_fold	type,
		isl_bool *	tight
	)

Definition at line 24 of file isl_bound.c.

References isl_bool_true, isl_pw_qpolynomial_fold_alloc(), isl_pw_qpolynomial_fold_project_domain_on_params(), isl_qpolynomial_fold_alloc(), isl_set_from_basic_set(), poly, tight, and type.

Referenced by add_constant_poly(), and bernstein_coefficients_base().