range_data Struct Reference

Public Attributes
struct isl_bound *	bound
int *	signs
int	sign
int	test_monotonicity
int	monotonicity
int	tight
isl_qpolynomial *	poly
isl_pw_qpolynomial_fold *	pwf
isl_pw_qpolynomial_fold *	pwf_tight

Detailed Description

Definition at line 9 of file isl_range.c.

Member Data Documentation

bound

struct isl_bound* range_data::bound

Definition at line 10 of file isl_range.c.

monotonicity

int range_data::monotonicity

Definition at line 14 of file isl_range.c.

Referenced by propagate_on_bound_pair(), and propagate_on_domain().

poly

isl_qpolynomial* range_data::poly

Definition at line 16 of file isl_range.c.

Referenced by basic_guarded_poly_bound(), propagate_on_bound_pair(), propagate_on_domain(), and qpolynomial_bound_on_domain_range().

pwf

isl_pw_qpolynomial_fold* range_data::pwf

Definition at line 17 of file isl_range.c.

Referenced by add_guarded_poly(), has_sign(), and isl_qpolynomial_bound_on_domain_range().

pwf_tight

isl_pw_qpolynomial_fold* range_data::pwf_tight

Definition at line 18 of file isl_range.c.

Referenced by add_guarded_poly(), has_sign(), and isl_qpolynomial_bound_on_domain_range().

sign

int range_data::sign

Definition at line 12 of file isl_range.c.

Referenced by add_guarded_poly(), bound2poly(), has_sign(), isl_qpolynomial_bound_on_domain_range(), plug_in_at_pos(), propagate_on_bound_pair(), and signed_infty().

signs

int* range_data::signs

Definition at line 11 of file isl_range.c.

Referenced by basic_guarded_poly_bound(), has_sign(), monotonicity(), and propagate_on_bound_pair().

test_monotonicity

int range_data::test_monotonicity

Definition at line 13 of file isl_range.c.

Referenced by has_sign(), propagate_on_domain(), and qpolynomial_bound_on_domain_range().

tight

int range_data::tight

Definition at line 15 of file isl_range.c.

Referenced by add_guarded_poly(), has_sign(), isl_qpolynomial_bound_on_domain_range(), plug_in_at_pos(), and propagate_on_bound_pair().

---

The documentation for this struct was generated from the following file:

• isl_range.c