Searched refs:eqRowIdx (Results 1 – 1 of 1) sorted by relevance
2250 int eqRowIdx = findEqualityToConstant(*this, 0, /*symbolic=*/false); in computeConstantLowerOrUpperBound() local2251 if (eqRowIdx != -1) in computeConstantLowerOrUpperBound()2253 return -atEq(eqRowIdx, getNumCols() - 1) / atEq(eqRowIdx, 0); in computeConstantLowerOrUpperBound()