Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DPresburgerSetTest.cpp33 bool inS = s.containsPoint(point); in testUnionAtPoints()
34 bool inT = t.containsPoint(point); in testUnionAtPoints()
47 bool inS = s.containsPoint(point); in testIntersectAtPoints()
48 bool inT = t.containsPoint(point); in testIntersectAtPoints()
60 bool inS = s.containsPoint(point); in testSubtractAtPoints()
61 bool inT = t.containsPoint(point); in testSubtractAtPoints()
62 bool inDiff = diff.containsPoint(point); in testSubtractAtPoints()
77 bool inS = s.containsPoint(point); in testComplementAtPoints()
99 TEST(SetTest, containsPoint) { in TEST() argument
105 EXPECT_TRUE(setA.containsPoint({x})); in TEST()
[all …]
H A DIntegerPolyhedronTest.cpp82 EXPECT_TRUE(poly.containsPoint(*maybeSample)); in checkSample()
89 EXPECT_TRUE(poly.containsPoint(*maybeLexMin)); in checkSample()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerRelation.h86 bool containsPoint(ArrayRef<int64_t> point) const;
H A DIntegerRelation.h349 bool containsPoint(ArrayRef<int64_t> point) const;
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp71 bool PresburgerRelation::containsPoint(ArrayRef<int64_t> point) const { in containsPoint() function in PresburgerRelation
H A DIntegerRelation.cpp809 assert(boundedSet.containsPoint(*boundedSample) && in findIntegerSample()
884 bool IntegerRelation::containsPoint(ArrayRef<int64_t> point) const { in containsPoint() function in IntegerRelation