Lines Matching refs:rowUnknown
71 return unknownFromIndex(rowUnknown[row]); in unknownFromRow()
86 return unknownFromIndex(rowUnknown[row]); in unknownFromRow()
93 rowUnknown.push_back(~con.size()); in addZeroRow()
592 int splitIndex = rowUnknown[splitRow]; in computeSymbolicIntegerLexMin()
884 std::swap(rowUnknown[row], colUnknown[col]); in swapRowWithCol()
1029 if ((diff == 0 && rowUnknown[row] < rowUnknown[*retRow]) || in findPivotRow()
1045 std::swap(rowUnknown[i], rowUnknown[j]); in swapRows()
1129 rowUnknown.pop_back(); in removeLastConstraintRowOrientation()
1503 result.rowUnknown.push_back(a.rowUnknown[row]); in makeProduct()
1504 result.unknownFromIndex(result.rowUnknown.back()).pos = in makeProduct()
1505 result.rowUnknown.size() - 1; in makeProduct()
1518 result.rowUnknown.push_back(indexFromBIndex(b.rowUnknown[row])); in makeProduct()
1519 result.unknownFromIndex(result.rowUnknown.back()).pos = in makeProduct()
1520 result.rowUnknown.size() - 1; in makeProduct()
2098 os << "r" << row << ": " << rowUnknown[row]; in print()