Lines Matching refs:rational
165 * If "rational" is set, then a rational optimization is being performed.
184 int rational;
841 bmap = isl_basic_map_from_multi_aff2(ma, sol->sol.rational);
2343 tab->rational = ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL);
2901 * context. Any rational point in "shifted" can therefore be rounded
2940 * that any rational point in the shifted tableau can
3708 sol->rational = ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL);
4066 * found a (rational) feasible point. If we only wanted a rational point
4098 * If, on the other hand, one or more of the other columns have rational
4103 * If at least one other column has a rational coefficient, then we
4107 * enforce that the rational combination of parameters (c + \sum a_i y_i)/m
4180 if (tab->rational)
5576 * the lexicographically smallest rational point of a non-negative set.
5599 * the lexicographically smallest rational point in "bset",
5675 /* Return the lexicographically smallest rational point in the basic set
Indexes created Mon Aug 31 00:24:02 UTC 2026