Searched refs:addCoeffs (Results 1 – 1 of 1) sorted by relevance
1496 auto addCoeffs = [&](ArrayRef<int64_t> a, SmallVectorImpl<int64_t> &b) { in getLowerAndUpperBound() local1515 addCoeffs(ineq, lb); in getLowerAndUpperBound()1531 addCoeffs(ineq, ub); in getLowerAndUpperBound()1543 addCoeffs(eq, b); in getLowerAndUpperBound()