Lines Matching defs:pivotCol

623 /// pivotRow, pivotCol. Columns in range [elimColStart, pivotCol) will not be
627                                     unsigned pivotCol, unsigned elimColStart,
635   DynamicAPInt leadCoeff = at(rowIdx, pivotCol);
639   DynamicAPInt pivotCoeff = constraints->atEq(pivotRow, pivotCol);
648     if (j >= elimColStart && j < pivotCol)
1088   unsigned pivotCol = 0;
1089   for (pivotCol = posStart; pivotCol < posLimit; ++pivotCol) {
1092     if (!findConstraintWithNonZeroAt(pivotCol, /*isEq=*/true, &pivotRow)) {
1093       // No pivot row in equalities with non-zero at 'pivotCol'.
1094       if (!findConstraintWithNonZeroAt(pivotCol, /*isEq=*/false, &pivotRow)) {
1095         // If inequalities are also non-zero in 'pivotCol', it can be
1102     // Eliminate variable at 'pivotCol' from each equality row.
1104       eliminateFromConstraint(this, i, pivotRow, pivotCol, posStart,
1109     // Eliminate variable at 'pivotCol' from each inequality row.
1111       eliminateFromConstraint(this, i, pivotRow, pivotCol, posStart,
1119   posLimit = pivotCol;