Home
last modified time | relevance | path

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

/external/llvm-project/mlir/lib/Analysis/Presburger/
DSimplex.cpp701 void addEqualityForDirection(ArrayRef<int64_t> dir) { in addEqualityForDirection() function in mlir::GBRSimplex
948 gbrSimplex.addEqualityForDirection(basis.getRow(i)); in reduceBasis()
974 gbrSimplex.addEqualityForDirection(basis.getRow(i)); in reduceBasis()