Searched refs:divDenom (Results 1 – 1 of 1) sorted by relevance
409 int64_t divDenom = d; in addSymbolicCut() local411 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()