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

Public Attributes