Searched refs:basisCoeffs (Results 1 – 1 of 1) sorted by relevance
1040 SmallVector<int64_t, 8> basisCoeffs = in findIntegerSample() local1042 basisCoeffs.push_back(0); in findIntegerSample()1046 computeIntegerBounds(basisCoeffs); in findIntegerSample()1055 basisCoeffs = llvm::to_vector<8>(basis.getRow(level)); in findIntegerSample()1056 basisCoeffs.push_back(0); in findIntegerSample()1058 computeIntegerBounds(basisCoeffs); in findIntegerSample()1089 SmallVector<int64_t, 8> basisCoeffs(basis.getRow(level).begin(), in findIntegerSample() local1091 basisCoeffs.push_back(-nextValue); in findIntegerSample()1092 addEquality(basisCoeffs); in findIntegerSample()