Lines Matching refs:numIds
150 numIds = other.getNumIds(); in FlatAffineConstraints()
178 numIds(set.getNumDims() + set.getNumSymbols()), numDims(set.getNumDims()), in FlatAffineConstraints()
182 ids.resize(numIds, None); in FlatAffineConstraints()
220 numIds = numDims + numSymbols + newNumLocals; in reset()
221 assert(idArgs.empty() || idArgs.size() == numIds); in reset()
229 ids.resize(numIds, None); in reset()
302 numIds++; in addId()
784 if (numDims > numIds || numSymbols > numIds || numDims + numSymbols > numIds) in hasConsistentState()
893 assert(idStart < numIds && "invalid idStart position"); in removeIdRange()
920 numIds = numIds - numColsEliminated; in removeIdRange()
1116 assert(posLimit <= numIds); in gaussianEliminateIds()
2591 newIds.reserve(numIds - 1); in FourierMotzkinEliminate()