Searched refs:setAndEliminate (Results 1 – 2 of 2) sorted by relevance
295 void setAndEliminate(unsigned pos, ArrayRef<int64_t> values);
446 void IntegerRelation::setAndEliminate(unsigned pos, ArrayRef<int64_t> values) { in setAndEliminate() function in IntegerRelation814 transformedSet.setAndEliminate(0, *boundedSample); in findIntegerSample()911 copy.setAndEliminate(0, point); in containsPointNoLocal()1368 setAndEliminate(pos, constVal); in constantFoldVar()