361          isRangeDivisibleBy(tableau.getRow(row).slice(3, nSymbol), denom);  in isSymbolicSampleIntegral()
399   if (isRangeDivisibleBy(tableau.getRow(row).slice(3, nSymbol), d)) {  in addSymbolicCut()
1831           basis.getRow(i + 1), candidateDual[0], candidateDualDenom[0]);  in reduceBasis()
1837           basis.getRow(i + 1), candidateDual[1], candidateDualDenom[1]);  in reduceBasis()
1853                  basis.getRow(i + 1), -1, basis.getRow(i))) >= widthI[j] &&  in reduceBasis()
1857                  basis.getRow(i + 1), +1, basis.getRow(i))) >= widthI[j] &&  in reduceBasis()
1869     assert(gbrSimplex.computeWidth(basis.getRow(i + 1)) ==  in reduceBasis()
1891           gbrSimplex.computeWidthAndDuals(basis.getRow(i), dual, dualDenom));  in reduceBasis()
1898       gbrSimplex.addEqualityForDirection(basis.getRow(i));  in reduceBasis()
1899       width.push_back(gbrSimplex.computeWidthAndDuals(basis.getRow(i + 1), dual,  in reduceBasis()
1924     gbrSimplex.addEqualityForDirection(basis.getRow(i));  in reduceBasis()
1991           llvm::to_vector<8>(basis.getRow(level));  in findIntegerSample()
2021         basisCoeffs = llvm::to_vector<8>(basis.getRow(level));  in findIntegerSample()
2057     SmallVector<int64_t, 8> basisCoeffs(basis.getRow(level).begin(),  in findIntegerSample()
2058                                         basis.getRow(level).end());  in findIntegerSample()