Home | History | Annotate | Download | only in dist

Lines Matching refs:frozen

64 		tab->var[i].frozen = 0;
1015 	if (var->frozen)
1019 	var->frozen = 1;
1186 		if (!isl_tab_var_from_row(tab, i)->frozen &&
1690 	tab->con[r].frozen = 0;
1776 	tab->var[r].frozen = 0;
2711 	tab->con[r].frozen = 0;
2959  * are not frozen and not obviously not an equality.
2984 		var->marked = !var->frozen && var->is_nonneg &&
2991 		var->marked = !var->frozen && var->is_nonneg;
3255  * are not frozen and not obviously negatively unbounded.
3276 		var->marked = !var->frozen && var->is_nonneg;
3282 		var->marked = !var->frozen && var->is_nonneg &&
3796 		var->frozen = 0;
4182  * an indication of whether it is zero, redundant and/or frozen.
4183  * Note that only constraints can be frozen.
4191 				var->frozen ? " [F]" : "");