Lines Matching defs:rowIdx

569 // Returns true and sets row found in search in `rowIdx`, false otherwise.
571                                                   unsigned *rowIdx) const {
573   auto at = [&](unsigned rowIdx) -> DynamicAPInt {
574     return isEq ? atEq(rowIdx, colIdx) : atIneq(rowIdx, colIdx);
577   for (*rowIdx = 0; *rowIdx < e; ++(*rowIdx)) {
578     if (at(*rowIdx) != 0) {
622 /// Eliminate variable from constraint at `rowIdx` based on coefficient at
626                                     unsigned rowIdx, unsigned pivotRow,
629   // Skip if equality 'rowIdx' if same as 'pivotRow'.
630   if (isEq && rowIdx == pivotRow)
635   DynamicAPInt leadCoeff = at(rowIdx, pivotCol);
636   // Skip if leading coefficient at 'rowIdx' is already zero.
651                      rowMultiplier * at(rowIdx, j);
652     isEq ? constraints->atEq(rowIdx, j) = v
653          : constraints->atIneq(rowIdx, j) = v;
1561   int rowIdx;
1562   if ((rowIdx = findEqualityToConstant(*this, pos)) == -1)
1565   // atEq(rowIdx, pos) is either -1 or 1.
1566   assert(atEq(rowIdx, pos) * atEq(rowIdx, pos) == 1);
1567   DynamicAPInt constVal = -atEq(rowIdx, getNumCols() - 1) / atEq(rowIdx, pos);
1729     // atEq(rowIdx, 0) is either -1 or 1.