70   assert(row < getNumRows() && "Invalid row");  in unknownFromRow()
85   assert(row < getNumRows() && "Invalid row");  in unknownFromRow()
92   assert(getNumRows() == getNumRows() && "Inconsistent tableau size");  in addZeroRow()
474   for (unsigned row = 0, e = getNumRows(); row < e; ++row)  in maybeGetAlwaysViolatedRow()
478   for (unsigned row = 0, e = getNumRows(); row < e; ++row) {  in maybeGetAlwaysViolatedRow()
551       for (unsigned e = getNumRows(); splitRow < e; ++splitRow) {  in computeSymbolicIntegerLexMin()
569       if (splitRow < getNumRows()) {  in computeSymbolicIntegerLexMin()
666   for (unsigned row = 0, e = getNumRows(); row < e; ++row)  in maybeGetViolatedRow()
941   for (unsigned row = 0, numRows = getNumRows(); row < numRows; ++row) {  in pivot()
1009   for (unsigned row = nRedundant, e = getNumRows(); row < e; ++row) {  in findPivotRow()
1124   swapRows(con.back().pos, getNumRows() - 1);  in removeLastConstraintRowOrientation()
1128   tableau.resizeVertically(getNumRows() - 1);  in removeLastConstraintRowOrientation()
1143   for (unsigned row = nRedundant, e = getNumRows(); row < e; ++row)  in findAnyPivotRow()
1528   for (unsigned row = a.nRedundant, e = a.getNumRows(); row < e; ++row)  in makeProduct()
1530   for (unsigned row = b.nRedundant, e = b.getNumRows(); row < e; ++row)  in makeProduct()
1793   if (level == basis.getNumRows() - 1)  in reduceBasis()
1877   while (i < basis.getNumRows() - 1) {  in reduceBasis()
1972   snapshotStack.reserve(basis.getNumRows());  in findIntegerSample()
1973   upperBoundStack.reserve(basis.getNumRows());  in findIntegerSample()
1974   nextValueStack.reserve(basis.getNumRows());  in findIntegerSample()
1976     if (level == basis.getNumRows()) {  in findIntegerSample()
2079   os << "rows = " << getNumRows() << ", columns = " << getNumColumns() << "\n";  in print()
2095   for (unsigned row = 0, e = getNumRows(); row < e; ++row) {  in print()
2105   for (unsigned row = 0, numRows = getNumRows(); row < numRows; ++row) {  in print()