1330     for (auto lbPos : lbIndices) {  in detectAsFloorDiv()  local
1334       int64_t divisor = cst.atIneq(lbPos, pos);  in detectAsFloorDiv()
1335       int64_t lbConstTerm = cst.atIneq(lbPos, cst.getNumCols() - 1);  in detectAsFloorDiv()
1345         if (cst.atIneq(lbPos, c) != -cst.atIneq(ubPos, c))  in detectAsFloorDiv()
1347         if (c != pos && cst.atIneq(lbPos, c) != 0)  in detectAsFloorDiv()
2187     for (auto lbPos : lbIndices) {  in getConstantBoundOnDimSize()  local
2196         if (atIneq(ubPos, j) != -atIneq(lbPos, j)) {  in getConstantBoundOnDimSize()
2202                                  atIneq(lbPos, getNumCols() - 1) + 1,  in getConstantBoundOnDimSize()
2203                              atIneq(lbPos, pos));  in getConstantBoundOnDimSize()
2206         minLbPosition = lbPos;  in getConstantBoundOnDimSize()
2617     for (auto lbPos : lbIndices) {  in FourierMotzkinEliminate()  local
2620       int64_t lbCoeff = atIneq(lbPos, pos);  in FourierMotzkinEliminate()
2632                        atIneq(lbPos, l) * (lcm / lbCoeff));  in FourierMotzkinEliminate()