Searched refs:basisCoeffs (Results 1 – 1 of 1) sorted by relevance
1990 SmallVector<int64_t, 8> basisCoeffs = in findIntegerSample() local1992 basisCoeffs.emplace_back(0); in findIntegerSample()1996 computeIntegerBounds(basisCoeffs); in findIntegerSample()2021 basisCoeffs = llvm::to_vector<8>(basis.getRow(level)); in findIntegerSample()2022 basisCoeffs.emplace_back(0); in findIntegerSample()2024 computeIntegerBounds(basisCoeffs); in findIntegerSample()2057 SmallVector<int64_t, 8> basisCoeffs(basis.getRow(level).begin(), in findIntegerSample() local2059 basisCoeffs.push_back(-nextValue); in findIntegerSample()2060 addEquality(basisCoeffs); in findIntegerSample()