Searched refs:numElemsToCopy (Results 1 – 1 of 1) sorted by relevance
2023 unsigned numElemsToCopy = (numEqualities - pos - 1) * numReservedCols; in removeEquality() local2025 equalities.begin() + inputIndex + numElemsToCopy, in removeEquality()2036 unsigned numElemsToCopy = (numInequalities - pos - 1) * numReservedCols; in removeInequality() local2038 inequalities.begin() + inputIndex + numElemsToCopy, in removeInequality()