Searched refs:numLocalIds (Results 1 – 1 of 1) sorted by relevance
1809 unsigned numLocalIds = flatExpr.size() - 1 - numOperands; in addLowerOrUpperBound() local1810 for (unsigned jj = 0, j = getNumIds() - numLocalIds; jj < numLocalIds; in addLowerOrUpperBound()