Lines Matching defs:pivotCol

926 /// Pivot pivotRow and pivotCol.
951 void SimplexBase::pivot(unsigned pivotRow, unsigned pivotCol) {
952   assert(pivotCol >= getNumFixedCols() && "Refusing to pivot invalid column");
953   assert(!unknownFromColumn(pivotCol).isSymbol);
955   swapRowWithCol(pivotRow, pivotCol);
956   std::swap(tableau(pivotRow, 0), tableau(pivotRow, pivotCol));
962     tableau(pivotRow, pivotCol) = -tableau(pivotRow, pivotCol);
965       if (col == pivotCol)
975     if (tableau(row, pivotCol) == 0) // Nothing to do.
979       if (col == pivotCol)
983                           tableau(row, pivotCol) * tableau(pivotRow, col);
985     tableau(row, pivotCol) *= tableau(pivotRow, pivotCol);