Searched refs:upperBoundIdx (Results 1 – 2 of 2) sorted by relevance
103 unsigned lowerBoundIdx, upperBoundIdx; member
273 unsigned ub = repr[i].repr.inequalityPair.upperBoundIdx; in getSetDifference()