Searched refs:removeEquality (Results 1 – 3 of 3) sorted by relevance
138 poly.removeEquality(i - 1); in removeConstraintsInvolvingVarRange()348 void IntegerRelation::removeEquality(unsigned pos) { in removeEquality() function in IntegerRelation1008 removeEquality(pivotRow); in gaussianEliminateVars()1253 removeEquality(i); in removeRedundantLocalVars()2137 removeEquality(nbIndex); in removeIndependentConstraints()
267 void removeEquality(unsigned pos);
149 TEST(IntegerPolyhedronTest, removeEquality) { in TEST() argument162 set.removeEquality(1); in TEST()