Searched refs:rowUnknown (Results 1 – 2 of 2) sorted by relevance
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()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()1505 result.rowUnknown.size() - 1; in makeProduct()1518 result.rowUnknown.push_back(indexFromBIndex(b.rowUnknown[row])); in makeProduct()[all …]
360 SmallVector<int, 8> rowUnknown, colUnknown; variable