Searched refs:getDenom (Results 1 – 4 of 4) sorted by relevance
148 unsigned &getDenom(unsigned i) { return denoms[i]; } in getDenom() function149 unsigned getDenom(unsigned i) const { return denoms[i]; } in getDenom() function
285 divsA.getDenom(i) = divsB.getDenom(i); in mergeLocalVars()
302 getDivLowerBound(divs.getDividend(i), divs.getDenom(i), in getSetDifference()305 getDivUpperBound(divs.getDividend(i), divs.getDenom(i), in getSetDifference()
932 divs.getDividend(i), divs.getDenom(i)); in getLocalReprs()