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