Searched defs:removeEquality (Results 1 – 2 of 2) sorted by relevance
151 TEST(IntegerPolyhedronTest, removeEquality) { in TEST() argument
439 void IntegerRelation::removeEquality(unsigned pos) { removeEquality() function in IntegerRelation