Searched refs:processInequality (Results 1 – 1 of 1) sorted by relevance
209 auto processInequality = [&](ArrayRef<int64_t> ineq) { in subtractRecursively() local225 processInequality(sI.getInequality(j)); in subtractRecursively()234 processInequality(coeffs); in subtractRecursively()236 processInequality(getNegatedCoeffs(coeffs)); in subtractRecursively()