Searched refs:containsPointNoLocal (Results 1 – 5 of 5) sorted by relevance
91 EXPECT_TRUE(poly.containsPointNoLocal(*maybeLexMin)); in checkSample()1466 bool containsPointNoLocal(const IntegerPolyhedron &poly, in containsPointNoLocal() function1468 return poly.containsPointNoLocal(getDynamicAPIntVec(point)).has_value(); in containsPointNoLocal()1471 TEST(IntegerPolyhedronTest, containsPointNoLocal) { in TEST() argument1474 EXPECT_TRUE(poly1.containsPointNoLocal({0})); in TEST()1475 EXPECT_FALSE(poly1.containsPointNoLocal({1})); in TEST()1479 EXPECT_TRUE(containsPointNoLocal(poly2, {6})); in TEST()1480 EXPECT_FALSE(containsPointNoLocal(poly2, {4})); in TEST()1485 EXPECT_TRUE(poly3.containsPointNoLocal(ArrayRef<int64_t>({0, 0}))); in TEST()1486 EXPECT_FALSE(poly3.containsPointNoLocal({1, 0})); in TEST()
823 EXPECT_EQ(poly.containsPointNoLocal(point).has_value(), in testComputeReprAtPoints()
432 containsPointNoLocal(ArrayRef<DynamicAPInt> point) const;434 containsPointNoLocal(ArrayRef<int64_t> point) const { in containsPointNoLocal() function435 return containsPointNoLocal(getDynamicAPIntVec(point)); in containsPointNoLocal()
125 return disjunct.containsPointNoLocal(point); in containsPoint()
1012 IntegerRelation::containsPointNoLocal(ArrayRef<DynamicAPInt> point) const { in containsPointNoLocal() 1009 IntegerRelation::containsPointNoLocal(ArrayRef<DynamicAPInt> point) const { containsPointNoLocal() function in IntegerRelation