Searched refs:range_data (Results 1 – 2 of 2) sorted by relevance
9 struct range_data { struct22 __isl_take isl_qpolynomial *poly, struct range_data *data); argument32 struct range_data data_m; in has_sign()97 __isl_keep isl_qpolynomial *poly, struct range_data *data) in monotonicity()269 __isl_take isl_qpolynomial *poly, struct range_data *data) in add_guarded_poly()302 __isl_take isl_qpolynomial *sub, struct range_data *data) in plug_in_at_pos()356 struct range_data *data = (struct range_data *)user; in propagate_on_bound_pair()424 __isl_take isl_qpolynomial *poly, struct range_data *data) in propagate_on_domain()475 struct range_data *data = (struct range_data *)user; in basic_guarded_poly_bound()510 struct range_data *data) in qpolynomial_bound_on_domain_range()[all …]
241 range_data = range(4)265 self.assertTrue(set(choices(range_data, k=5)) <= set(range_data)) # population is a range