Lines Matching refs:rowUnknown
51 return unknownFromIndex(rowUnknown[row]); in unknownFromRow()
66 return unknownFromIndex(rowUnknown[row]); in unknownFromRow()
80 rowUnknown.push_back(~con.size()); in addRow()
186 std::swap(rowUnknown[row], colUnknown[col]); in swapRowWithCol()
326 if ((diff == 0 && rowUnknown[row] < rowUnknown[*retRow]) || in findPivotRow()
342 std::swap(rowUnknown[i], rowUnknown[j]); in swapRows()
434 rowUnknown.pop_back(); in undo()
622 result.rowUnknown.push_back(a.rowUnknown[row]); in makeProduct()
623 result.unknownFromIndex(result.rowUnknown.back()).pos = in makeProduct()
624 result.rowUnknown.size() - 1; in makeProduct()
637 result.rowUnknown.push_back(indexFromBIndex(b.rowUnknown[row])); in makeProduct()
638 result.unknownFromIndex(result.rowUnknown.back()).pos = in makeProduct()
639 result.rowUnknown.size() - 1; in makeProduct()
1140 os << "r" << row << ": " << rowUnknown[row]; in print()