Home
last modified time | relevance | path

Searched defs:unboundedDomain (Results 1 – 2 of 2) sorted by relevance

/llvm-project/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h541 PresburgerSet unboundedDomain; member
/llvm-project/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp250 PresburgerSet &unboundedDomain = result.unboundedDomain; in findSymbolicIntegerLexOpt() local