Home
last modified time | relevance | path

Searched refs:addEqualityForDirection (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp1630 void addEqualityForDirection(ArrayRef<int64_t> dir) { in addEqualityForDirection() function in presburger::GBRSimplex
1898 gbrSimplex.addEqualityForDirection(basis.getRow(i)); in reduceBasis()
1924 gbrSimplex.addEqualityForDirection(basis.getRow(i)); in reduceBasis()