Searched refs:removeInequality (Results 1 – 4 of 4) sorted by relevance
341 levelSet.removeInequality(0); in tiebreakLex()
141 poly.removeInequality(i - 1); in removeConstraintsInvolvingVarRange()352 void IntegerRelation::removeInequality(unsigned pos) { in removeInequality() function in IntegerRelation2135 removeInequality(nbIndex); in removeIndependentConstraints()
268 void removeInequality(unsigned pos);
130 TEST(IntegerPolyhedronTest, removeInequality) { in TEST() argument143 set.removeInequality(1); in TEST()