Searched refs:removeEqualityRange (Results 1 – 3 of 3) sorted by relevance
271 void removeEqualityRange(unsigned start, unsigned end);
153 set.removeEqualityRange(0, 0); in TEST()156 set.removeEqualityRange(1, 3); in TEST()
165 removeEqualityRange(counts.getNumEqs(), getNumEqualities()); in truncate()356 void IntegerRelation::removeEqualityRange(unsigned start, unsigned end) { in removeEqualityRange() function in IntegerRelation