Searched refs:signDiv (Results 1 – 1 of 1) sorted by relevance
168 int64_t signDiv = tempDiv < 0 ? -1 : 1; in getDivRepr() local171 divisor = tempDiv * signDiv; in getDivRepr()175 expr[i] = -signDiv * cst.atEq(eqInd, i); in getDivRepr()177 expr.back() = -signDiv * cst.atEq(eqInd, cst.getNumCols() - 1); in getDivRepr()