Lines Matching refs:poly3
500 IntegerPolyhedron poly3 = in TEST() local
502 poly3.removeRedundantConstraints(); in TEST()
505 EXPECT_EQ(poly3.getNumInequalities(), 0u); in TEST()
506 EXPECT_EQ(poly3.getNumEqualities(), 2u); in TEST()
815 IntegerPolyhedron poly3(PresburgerSpace::getSetSpace(1, 0, 1)); in TEST() local
816 poly3.addInequality({1, -1, -1}); in TEST()
817 poly3.addInequality({0, 1, 1}); in TEST()
818 poly3.addEquality({2, 1, 0}); in TEST()
820 EXPECT_TRUE(poly3.isEmpty()); in TEST()
1452 IntegerPolyhedron poly3 = parsePoly("(x, y) : (2*x - y >= 0, y - 3*x >= 0)"); in TEST() local
1453 EXPECT_TRUE(poly3.containsPointNoLocal({0, 0})); in TEST()
1454 EXPECT_FALSE(poly3.containsPointNoLocal({1, 0})); in TEST()