Searched refs:removeInequalityRange (Results 1 – 3 of 3) sorted by relevance
272 void removeInequalityRange(unsigned start, unsigned end);
134 set.removeInequalityRange(0, 0); in TEST()137 set.removeInequalityRange(1, 3); in TEST()
164 removeInequalityRange(counts.getNumIneqs(), getNumInequalities()); in truncate()362 void IntegerRelation::removeInequalityRange(unsigned start, unsigned end) { in removeInequalityRange() function in IntegerRelation