Lines Matching refs:tight
15 int tight; member
61 data_m.tight = 0; in has_sign()
282 if (data->tight) in add_guarded_poly()
321 data->tight = 0; in plug_in_at_pos()
357 int save_tight = data->tight; in propagate_on_bound_pair()
371 if (data->tight) in propagate_on_bound_pair()
372 data->tight = bound_is_integer(upper, nvar); in propagate_on_bound_pair()
376 if (data->tight) in propagate_on_bound_pair()
377 data->tight = bound_is_integer(lower, nvar); in propagate_on_bound_pair()
390 data->tight = 0; in propagate_on_bound_pair()
410 data->tight = save_tight; in propagate_on_bound_pair()
550 data.tight = bound->check_tight; in isl_qpolynomial_bound_on_domain_range()