Searched refs:removeInequality (Results 1 – 3 of 3) sorted by relevance
202 b.removeInequality(b.getNumInequalities() - 1); in subtractRecursively()241 b.removeInequality(i - 1); in subtractRecursively()
2031 void FlatAffineConstraints::removeInequality(unsigned pos) { in removeInequality() function in FlatAffineConstraints3088 removeInequality(nbIndex); in removeIndependentConstraints()
373 void removeInequality(unsigned pos);