Lines Matching defs:curVar

341     unsigned curVar, e;
342     for (curVar = 0, e = cst.getNumDimAndSymbolVars(); curVar < e; ++curVar) {
344       if (curVar == pos)
346       int64_t coefficientOfCurVar = cst.atEq64(curEquality, curVar);
353         quotientPosition = curVar;
358       if (!memo[curVar])
361       dividendExpr = dividendExpr + memo[curVar] * coefficientOfCurVar;
365     if (curVar < e)