Home | History | Annotate | Download | only in dist

Lines Matching defs:tight

15 	int			tight;
61 	data_m.tight = 0;
266  * depending on whether the result has been determined to be tight.
282 	if (data->tight)
298  * and mark the result as not being tight.
321 		data->tight = 0;
342  * If the current polynomial is tight and if this bound is integer,
343  * then the result is still tight.  In all other cases, the results
344  * may not be tight.
357 	int save_tight = data->tight;
371 			if (data->tight)
372 				data->tight = bound_is_integer(upper, nvar);
376 			if (data->tight)
377 				data->tight = bound_is_integer(lower, nvar);
390 		data->tight = 0;
410 	data->tight = save_tight;
550 	data.tight = bound->check_tight;