Searched refs:deprefix1 (Results 1 – 1 of 1) sorted by relevance
712 Output<Rational> deprefix1 = new Output<>(); in compare() local713 o1 = stripPrefix(o1, deprefix1); in compare()726 Rational factor1 = targetAndInfo1.unitInfo.factor.multiply(deprefix1.value); in compare()