Searched refs:UpperR (Results 1 – 1 of 1) sorted by relevance
61 unsigned UpperR = R2; in eliminateUsingFM() local62 if (Constraints[UpperR][1] < 0) in eliminateUsingFM()63 std::swap(LowerR, UpperR); in eliminateUsingFM()71 if (MulOverflow(Constraints[UpperR][I], in eliminateUsingFM()75 (Constraints[UpperR][1] / GCD), M2)) in eliminateUsingFM()