Searched refs:coefficientAtPos (Results 1 – 1 of 1) sorted by relevance
760 int64_t coefficientAtPos = cst.atEq(curEquality, pos); in detectAsMod() local763 if (coefficientAtPos == 0) in detectAsMod()794 if (coefficientOfCurVar % (divisor * coefficientAtPos) == 0) { in detectAsMod()797 quotientSign = (coefficientOfCurVar * coefficientAtPos) > 0 ? 1 : -1; in detectAsMod()812 if (coefficientAtPos > 0) in detectAsMod()813 dividendExpr = (-dividendExpr).floorDiv(coefficientAtPos); in detectAsMod()815 dividendExpr = dividendExpr.floorDiv(-coefficientAtPos); in detectAsMod()