Lines Matching defs:pivotRow

623 /// pivotRow, pivotCol. Columns in range [elimColStart, pivotCol) will not be
626                                     unsigned rowIdx, unsigned pivotRow,
629   // Skip if equality 'rowIdx' if same as 'pivotRow'.
630   if (isEq && rowIdx == pivotRow)
639   DynamicAPInt pivotCoeff = constraints->atEq(pivotRow, pivotCol);
650     DynamicAPInt v = pivotMultiplier * constraints->atEq(pivotRow, j) +
1091     unsigned pivotRow;
1092     if (!findConstraintWithNonZeroAt(pivotCol, /*isEq=*/true, &pivotRow)) {
1094       if (!findConstraintWithNonZeroAt(pivotCol, /*isEq=*/false, &pivotRow)) {
1104       eliminateFromConstraint(this, i, pivotRow, pivotCol, posStart,
1111       eliminateFromConstraint(this, i, pivotRow, pivotCol, posStart,
1115     removeEquality(pivotRow);
1128   unsigned nowDone, eqs, pivotRow;
1132       if (!findConstraintWithNonZeroAt(firstVar, true, &pivotRow))
1141     if (pivotRow > nowDone) {
1142       equalities.swapRows(pivotRow, nowDone);
1143       pivotRow = nowDone;
1148       eliminateFromConstraint(this, i, pivotRow, firstVar, 0, true);
1152       eliminateFromConstraint(this, i, pivotRow, firstVar, 0, false);