1108   SmallVector<int, 8> basis;  in getSnapshotBasis()  local
1111       basis.push_back(index);  in getSnapshotBasis()
1113   savedBases.push_back(std::move(basis));  in getSnapshotBasis()
1229     SmallVector<int, 8> basis = std::move(savedBases.back());  in undo()  local
1232     for (int index : basis) {  in undo()
1240         if (std::find(basis.begin(), basis.end(), colUnknown[col]) !=  in undo()
1241             basis.end())  in undo()
1790 void Simplex::reduceBasis(Matrix &basis, unsigned level) {  in reduceBasis()  argument
1793   if (level == basis.getNumRows() - 1)  in reduceBasis()
1823     basis.addToRow(i, i + 1, u);  in reduceBasis()
1831           basis.getRow(i + 1), candidateDual[0], candidateDualDenom[0]);  in reduceBasis()
1835       basis.addToRow(i, i + 1, 1);  in reduceBasis()
1837           basis.getRow(i + 1), candidateDual[1], candidateDualDenom[1]);  in reduceBasis()
1842         basis.addToRow(i, i + 1, -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()
1877   while (i < basis.getNumRows() - 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()
1907       basis.swapRows(i, i + 1);  in reduceBasis()
1924     gbrSimplex.addEqualityForDirection(basis.getRow(i));  in reduceBasis()
1962   Matrix basis = Matrix::identity(nDims);  in findIntegerSample()  local
1972   snapshotStack.reserve(basis.getNumRows());  in findIntegerSample()
1973   upperBoundStack.reserve(basis.getNumRows());  in findIntegerSample()
1974   nextValueStack.reserve(basis.getNumRows());  in findIntegerSample()
1976     if (level == basis.getNumRows()) {  in findIntegerSample()
1991           llvm::to_vector<8>(basis.getRow(level));  in findIntegerSample()
2020         reduceBasis(basis, 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()