Searched refs:containsPointNoLocal (Results 1 – 6 of 6) sorted by relevance
1442 TEST(IntegerPolyhedronTest, containsPointNoLocal) { in TEST() argument1444 EXPECT_TRUE(poly1.containsPointNoLocal({0})); in TEST()1445 EXPECT_FALSE(poly1.containsPointNoLocal({1})); in TEST()1449 EXPECT_TRUE(poly2.containsPointNoLocal({6})); in TEST()1450 EXPECT_FALSE(poly2.containsPointNoLocal({4})); in TEST()1453 EXPECT_TRUE(poly3.containsPointNoLocal({0, 0})); in TEST()1454 EXPECT_FALSE(poly3.containsPointNoLocal({1, 0})); in TEST()
847 EXPECT_EQ(poly.containsPointNoLocal(point).has_value(), in testComputeReprAtPoints()
42 getDomain().containsPointNoLocal(point); in valueAt()
73 return (disjunct.containsPointNoLocal(point)); in containsPoint()
905 IntegerRelation::containsPointNoLocal(ArrayRef<int64_t> point) const { in containsPointNoLocal() function in IntegerRelation
353 containsPointNoLocal(ArrayRef<int64_t> point) const;