Lines Matching refs:poly1
826 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1, 0, 1)); in TEST() local
827 poly1.addLocalFloorDiv({1, 0, 0}, 2); // y = [x / 2]. in TEST()
828 poly1.addEquality({1, 0, -3, 0}); // x = 3y. in TEST()
829 poly1.addInequality({1, 1, 0, 1}); // x + z + 1 >= 0. in TEST()
837 poly1.mergeLocalVars(poly2); in TEST()
840 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
843 EXPECT_EQ(poly1.getNumLocalVars(), 3u); in TEST()
849 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
850 poly1.addLocalFloorDiv({1, 0}, 5); // z = [x / 5]. in TEST()
851 poly1.addLocalFloorDiv({1, 0, 0}, 2); // y = [x / 2]. in TEST()
852 poly1.addEquality({1, 0, -3, 0}); // x = 3y. in TEST()
860 poly1.mergeLocalVars(poly2); in TEST()
863 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
866 EXPECT_EQ(poly1.getNumLocalVars(), 2u); in TEST()
873 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1, 0, 1)); in TEST() local
875 poly1.addLocalFloorDiv({3, 0, 0}, 6); // y = [3x / 6] -> [x/2]. in TEST()
876 poly1.addEquality({1, 0, -3, 0}); // x = 3z. in TEST()
877 poly1.addInequality({1, 1, 0, 1}); // x + y + 1 >= 0. in TEST()
885 poly1.mergeLocalVars(poly2); in TEST()
888 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
891 EXPECT_EQ(poly1.getNumLocalVars(), 3u); in TEST()
899 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
900 poly1.addLocalFloorDiv({1, 0}, 2); // y = [x / 2]. in TEST()
901 poly1.addLocalFloorDiv({1, 1, 0}, 3); // z = [x + y / 3]. in TEST()
902 poly1.addInequality({-1, 1, 1, 0}); // y + z >= x. in TEST()
910 poly1.mergeLocalVars(poly2); in TEST()
913 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
916 EXPECT_EQ(poly1.getNumLocalVars(), 2u); in TEST()
922 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
923 poly1.addLocalFloorDiv({1, 0}, 2); // y = [x / 2]. in TEST()
924 poly1.addLocalFloorDiv({1, 1, 0}, 3); // z = [x + y / 3]. in TEST()
925 poly1.addLocalFloorDiv({0, 0, 1, 1}, 5); // w = [z + 1 / 5]. in TEST()
926 poly1.addInequality({-1, 1, 1, 0, 0}); // y + z >= x. in TEST()
935 poly1.mergeLocalVars(poly2); in TEST()
938 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
941 EXPECT_EQ(poly1.getNumLocalVars(), 3u); in TEST()
946 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
947 poly1.addLocalFloorDiv({2, 0}, 4); // y = [2x / 4] -> [x / 2]. in TEST()
948 poly1.addLocalFloorDiv({1, 1, 0}, 3); // z = [x + y / 3]. in TEST()
949 poly1.addInequality({-1, 1, 1, 0}); // y + z >= x. in TEST()
958 poly1.mergeLocalVars(poly2); in TEST()
961 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
964 EXPECT_EQ(poly1.getNumLocalVars(), 2u); in TEST()
972 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
973 poly1.addLocalFloorDiv({1, 1}, 2); // y = [x + 1 / 2]. in TEST()
974 poly1.addLocalFloorDiv({1, 0, 2}, 3); // z = [x + 2 / 3]. in TEST()
975 poly1.addInequality({-1, 1, 1, 0}); // y + z >= x. in TEST()
983 poly1.mergeLocalVars(poly2); in TEST()
986 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
989 EXPECT_EQ(poly1.getNumLocalVars(), 2u); in TEST()
994 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
995 poly1.addLocalFloorDiv({1, 1}, 2); // y = [x + 1 / 2]. in TEST()
997 poly1.addLocalFloorDiv({3, 0, 6}, 9); // z = [3x + 6 / 9] -> [x + 2 / 3]. in TEST()
998 poly1.addInequality({-1, 1, 1, 0}); // y + z >= x. in TEST()
1007 poly1.mergeLocalVars(poly2); in TEST()
1010 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
1013 EXPECT_EQ(poly1.getNumLocalVars(), 2u); in TEST()
1020 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
1021 poly1.addLocalFloorDiv({1, 1}, 3); // y = [x + 1 / 2]. in TEST()
1022 poly1.addLocalFloorDiv({1, 0, 1}, 3); // z = [x + 1 / 3]. in TEST()
1023 poly1.addInequality({-1, 1, 1, 0}); // y + z >= x. in TEST()
1031 poly1.mergeLocalVars(poly2); in TEST()
1034 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
1037 EXPECT_EQ(poly1.getNumLocalVars(), 3u); in TEST()
1043 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
1044 poly1.addLocalFloorDiv({-1, 1}, 2); // y = [x + 1 / 2]. in TEST()
1046 poly1.addLocalFloorDiv({-3, 0, -6}, 9); // z = [3x + 6 / 9] -> [x + 2 / 3]. in TEST()
1047 poly1.addInequality({-1, 1, 1, 0}); // y + z >= x. in TEST()
1056 poly1.mergeLocalVars(poly2); in TEST()
1062 checkDivisionRepresentation(poly1, divisions, denoms); in TEST()
1443 IntegerPolyhedron poly1 = parsePoly("(x) : ((x floordiv 2) - x == 0)"); in TEST() local
1444 EXPECT_TRUE(poly1.containsPointNoLocal({0})); in TEST()
1445 EXPECT_FALSE(poly1.containsPointNoLocal({1})); in TEST()