Searched refs:addVariableRow (Results 1 – 3 of 3) sorted by relevance
77 bool addVariableRow(ArrayRef<int64_t> R) { in addVariableRow() function108 return addVariableRow(R); in addVariableRowFill()
207 NewSystem.addVariableRow(R); in isConditionImplied()
284 UnsignedCS.addVariableRow(VarPos.Coefficients); in ConstraintInfo()1375 CSToUse.addVariableRow(Row); in checkCondition()1599 CSToUse.addVariableRow(VarPos.Coefficients); in addFact()