Searched refs:numInequalities (Results 1 – 1 of 1) sorted by relevance
306 int numInequalities = static_cast<int>(getNumInequalities()); in addId() local309 for (int r = numInequalities - 1; r >= 0; r--) { in addId()2032 unsigned numInequalities = getNumInequalities(); in removeInequality() local2033 assert(pos < numInequalities && "invalid position"); in removeInequality()2036 unsigned numElemsToCopy = (numInequalities - pos - 1) * numReservedCols; in removeInequality()