Home | History | Annotate | Download | only in dist

Lines Matching refs:rational

81 	tab->rational = 0;
289 	dup->rational = tab->rational;
445 	isl_assert(tab1->mat->ctx, tab1->rational == tab2->rational, return NULL);
542 	prod->rational = tab1->rational;
980 /* Mark "tab" as a rational tableau.
981  * If it wasn't marked as a rational tableau already and if we may
989 	if (!tab->rational && tab->need_undo)
992 	tab->rational = 1;
1603 	if (tab->rational)
2398 	tab->rational = ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL);
2450 	tab->rational = ISL_F_ISSET(bset, ISL_BASIC_SET_RATIONAL);
2647 	if (!tab->rational &&
2916 	return tab->rational ? isl_int_is_zero(tab->mat->row[row][1])
2955  *	- zero (in case of rational tableaus), or
3009 		} else if (!tab->rational && !at_least_one(tab, var)) {
3235 	if (tab->rational) {
3251  *	- zero (in case of rational tableaus), or
3492  * rational value.
3501  * rational value has been reached and the target cannot be reached.
3537  * Otherwise, the search stops at the smallest rational value.
3541  * Otherwise, the search stops at the greatest rational value.
3543  * from rounding up the smallest rational value, then the variable
3633  * For rational tableaus, nothing needs to be done.
3642 	if (tab->rational)
3652  * For rational tableaus, nothing needs to be done.
3660 	if (tab->rational)
3972 		tab->rational = 0;
4056 	if (tab->rational)
4113 		 (tab->rational ||
4206 	if (tab->rational)
4207 		fprintf(out, ", rational");