Searched refs:removeLastEquality (Results 1 – 1 of 1) sorted by relevance
1705 void removeLastEquality() { in removeLastEquality() function in presburger::GBRSimplex1901 gbrSimplex.removeLastEquality(); in reduceBasis()1917 gbrSimplex.removeLastEquality(); in reduceBasis()