Searched refs:eqInd (Results 1 – 1 of 1) sorted by relevance
155 unsigned eqInd, MutableArrayRef<int64_t> expr, in getDivRepr() argument159 assert(eqInd <= cst.getNumEqualities() && "Invalid equality position"); in getDivRepr()165 int64_t tempDiv = cst.atEq(eqInd, pos); in getDivRepr()175 expr[i] = -signDiv * cst.atEq(eqInd, i); in getDivRepr()177 expr.back() = -signDiv * cst.atEq(eqInd, cst.getNumCols() - 1); in getDivRepr()