526                                     unsigned pivotCol, unsigned elimColStart,  in eliminateFromConstraint()  argument
534   int64_t leadCoeff = at(rowIdx, pivotCol);  in eliminateFromConstraint()
538   int64_t pivotCoeff = constraints->atEq(pivotRow, pivotCol);  in eliminateFromConstraint()
547     if (j >= elimColStart && j < pivotCol)  in eliminateFromConstraint()
981   unsigned pivotCol = 0;  in gaussianEliminateVars()  local
982   for (pivotCol = posStart; pivotCol < posLimit; ++pivotCol) {  in gaussianEliminateVars()
985     if (!findConstraintWithNonZeroAt(pivotCol, /*isEq=*/true, &pivotRow)) {  in gaussianEliminateVars()
987       if (!findConstraintWithNonZeroAt(pivotCol, /*isEq=*/false, &pivotRow)) {  in gaussianEliminateVars()
997       eliminateFromConstraint(this, i, pivotRow, pivotCol, posStart,  in gaussianEliminateVars()
1004       eliminateFromConstraint(this, i, pivotRow, pivotCol, posStart,  in gaussianEliminateVars()
1012   posLimit = pivotCol;  in gaussianEliminateVars()