Home
last modified time | relevance | path

Searched defs:containsPoint (Results 1 – 5 of 5) sorted by relevance

/llvm-project/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerRelation.h146 bool containsPoint(ArrayRef<int64_t> point) const { in containsPoint() function
H A DIntegerRelation.h426 bool containsPoint(ArrayRef<int64_t> point) const { in containsPoint() function
/llvm-project/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp123 bool PresburgerRelation::containsPoint(ArrayRef<DynamicAPInt> point) const { in containsPoint() function in PresburgerRelation
H A DIntegerRelation.cpp988 bool IntegerRelation::containsPoint(ArrayRef<DynamicAPInt> point) const { containsPoint() function in IntegerRelation
/llvm-project/mlir/unittests/Analysis/Presburger/
H A DPresburgerSetTest.cpp101 TEST(SetTest, containsPoint) { in TEST() argument