Searched refs:addEqualityForDirection (Results 1 – 1 of 1) sorted by relevance
1630 void addEqualityForDirection(ArrayRef<int64_t> dir) { in addEqualityForDirection() function in presburger::GBRSimplex1898 gbrSimplex.addEqualityForDirection(basis.getRow(i)); in reduceBasis()1924 gbrSimplex.addEqualityForDirection(basis.getRow(i)); in reduceBasis()