Searched refs:pivotMultiplier (Results 1 – 1 of 1) sorted by relevance
541 int64_t pivotMultiplier = sign * (lcm / std::abs(pivotCoeff)); in eliminateFromConstraint() local549 int64_t v = pivotMultiplier * constraints->atEq(pivotRow, j) + in eliminateFromConstraint()