Searched refs:divCoeffs (Results 1 – 1 of 1) sorted by relevance
407 SmallVector<int64_t, 8> divCoeffs; in addSymbolicCut() local408 divCoeffs.reserve(nSymbol + 1); in addSymbolicCut()411 divCoeffs.push_back(mod(-tableau(row, col), divDenom)); // (-a_i%d)s_i in addSymbolicCut()412 divCoeffs.push_back(mod(-tableau(row, 1), divDenom)); // -c%d. in addSymbolicCut()413 normalizeDiv(divCoeffs, divDenom); in addSymbolicCut()415 domainSimplex.addDivisionVariable(divCoeffs, divDenom); in addSymbolicCut()416 domainPoly.addLocalFloorDiv(divCoeffs, divDenom); in addSymbolicCut()