Searched refs:addVariableRowFill (Results 1 – 2 of 2) sorted by relevance
56 bool addVariableRowFill(const SmallVector<int64_t, 8> &R) { in addVariableRowFill() function
252 CS.addVariableRowFill(C.Coefficients); in dumpWithNames()457 Added |= CS.addVariableRowFill(Coeffs); in eliminateConstraints()