Searched refs:coefficientOfCurVar (Results 1 – 1 of 1) sorted by relevance
789 int64_t coefficientOfCurVar = cst.atEq(curEquality, curVar); in detectAsMod() local791 if (coefficientOfCurVar == 0) in detectAsMod()794 if (coefficientOfCurVar % (divisor * coefficientAtPos) == 0) { in detectAsMod()797 quotientSign = (coefficientOfCurVar * coefficientAtPos) > 0 ? 1 : -1; in detectAsMod()804 dividendExpr = dividendExpr + memo[curVar] * coefficientOfCurVar; in detectAsMod()