Searched refs:addVariableRowFill (Results 1 – 2 of 2) sorted by relevance
101 bool addVariableRowFill(ArrayRef<int64_t> R) { in addVariableRowFill() function
882 CS.addVariableRowFill(C); in dumpConstraint()1493 Added |= CSToUse.addVariableRowFill(R.Coefficients); in addFact()1529 CSToUse.addVariableRowFill(R.Coefficients); in addFact()