Home
last modified time | relevance | path

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

/external/llvm-project/mlir/include/mlir/Analysis/Presburger/
DSimplex.h173 void intersectFlatAffineConstraints(const FlatAffineConstraints &fac);
/external/llvm-project/mlir/lib/Analysis/
DPresburgerSet.cpp175 simplex.intersectFlatAffineConstraints(sI); in subtractRecursively()
/external/llvm-project/mlir/lib/Analysis/Presburger/
DSimplex.cpp455 void Simplex::intersectFlatAffineConstraints(const FlatAffineConstraints &fac) { in intersectFlatAffineConstraints() function in mlir::Simplex