Searched refs:addVariableRowFill (Results 1 – 2 of 2) sorted by relevance
101 bool addVariableRowFill(ArrayRef<int64_t> R) { in addVariableRowFill() function
956 CS.addVariableRowFill(C); in dumpConstraint()1683 bool Added = CSToUse.addVariableRowFill(R.Coefficients); in addFactImpl()1720 CSToUse.addVariableRowFill(R.Coefficients); in addFactImpl()