Searched defs:setAndEliminate (Results 1 – 2 of 2) sorted by relevance
366 void setAndEliminate(unsigned pos, ArrayRef<int64_t> values) { in setAndEliminate() function
543 void IntegerRelation::setAndEliminate(unsigned pos, setAndEliminate() function in IntegerRelation