Searched refs:tableau (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | Simplex.cpp | 144 tableau(newRow, pos) += coeffs[i] * tableau(newRow, 0); in addRow()
266 tableau(cutRow, 1) = -mod(-tableau(row, 1), d); // -c%d. in addCut()
281 if (tableau(row, 1) % tableau(row, 0) != 0) in maybeGetNonIntegralVarRow()
660 if (tableau(row, 2) == 0 && tableau(row, 1) < 0) in rowIsViolated()
930 tableau(pivotRow, 0) = -tableau(pivotRow, 0); in pivot()
936 tableau(pivotRow, col) = -tableau(pivotRow, col); in pivot()
946 tableau(row, 0) *= tableau(pivotRow, 0); in pivot()
951 tableau(row, col) = tableau(row, col) * tableau(pivotRow, 0) + in pivot()
1325 return Fraction(tableau(row, 1), tableau(row, 0)); in computeRowOptimum()
1512 result.tableau(resultRow, 0) = b.tableau(row, 0); in makeProduct()
[all …]
|
| /llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/ |
| H A D | Simplex.h | 324 unsigned getNumRows() const { return tableau.getNumRows(); } in getNumRows()
325 unsigned getNumColumns() const { return tableau.getNumColumns(); } in getNumColumns()
339 Matrix tableau; variable
|
| /llvm-project-15.0.7/polly/lib/External/isl/doc/ |
| H A D | implementation.tex | 180 the constraints on the parameters, known as the context tableau.
199 The initial tableau contains $\begin{pmatrix}
232 then the initial extended tableau looks as follows.
252 then the row already appears somewhere else in the tableau.
306 are assumed to be non-negative: the initial tableau starts from
314 The sample value $\vec x' = \vec 0$ of the initial tableau then
410 tableau remain lexicographically positive. In particular, if
644 the big parameter of the main tableau also appears
645 in the context tableau.
651 in the context tableau. Based on this report,
[all …]
|