Searched refs:negatedCoeffs (Results 1 – 2 of 2) sorted by relevance
126 SmallVector<int64_t, 8> negatedCoeffs; in getNegatedCoeffs() local127 negatedCoeffs.reserve(coeffs.size()); in getNegatedCoeffs()129 negatedCoeffs.emplace_back(-coeff); in getNegatedCoeffs()130 return negatedCoeffs; in getNegatedCoeffs()
377 SmallVector<int64_t, 8> negatedCoeffs; in addEquality() local379 negatedCoeffs.emplace_back(-coeff); in addEquality()380 addInequality(negatedCoeffs); in addEquality()