Lines Matching defs:rows
279 isl_size rows, cols;
282 rows = isl_mat_rows(M);
284 if (rows < 0 || cols < 0)
287 for (i = 0; i < rows; ++i)
295 /* Set the affine expressions in "ma" according to the rows in "M", which
893 /* Check if rows "row1" and "row2" have identical "parametric constants",
1522 * This function assumes that at least two more rows and at least
1601 * This function assumes that at least two more rows and at least
1894 * If one of the corresponding rows is equal to an integral
2401 * If any of the rows requiring a split only involves
2404 * It is therefore best to split on any of these rows first.
2407 * given two rows in the main tableau, if the inequality corresponding
2410 * since in the positive part, both rows will be positive.
2415 * of the other rows redundant.
2421 * best_r is the number of other rows made redundant by row best.
4044 * Inside the main loop, we first examine the signs of the rows of
4057 * one or more rows that require a pivot for some values of the parameters
4065 * If no such rows can be found, all rows are non-negative and we have
4076 * to the following table. The first two rows do not correspond
4257 * corresponding rows may not be marked as being non-negative.
5135 * This function assumes that at least 2 * (n_op - n_zero) more rows and
5181 * This function assumes that at least two more rows and at least