Lines Matching refs:poly2
490 IntegerPolyhedron poly2 = in TEST() local
492 poly2.removeRedundantConstraints(); in TEST()
496 EXPECT_EQ(poly2.getNumInequalities(), 1u); in TEST()
497 EXPECT_THAT(poly2.getInequality(0), ElementsAre(1, 0, -3)); in TEST()
498 EXPECT_EQ(poly2.getNumEqualities(), 1u); in TEST()
806 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1, 0, 3)); in TEST() local
807 poly2.addEquality({3, 1, 0, 0, -1}); in TEST()
808 poly2.addEquality({0, 2, -1, 0, 0}); in TEST()
809 poly2.addEquality({0, 3, 0, -1, 0}); in TEST()
810 poly2.addEquality({0, 0, 1, -1, 0}); in TEST()
812 EXPECT_TRUE(poly2.isEmpty()); in TEST()
832 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
833 poly2.addLocalFloorDiv({1, 0}, 2); // y = [x / 2]. in TEST()
834 poly2.addEquality({1, -5, 0}); // x = 5y. in TEST()
835 poly2.appendVar(VarKind::Local); // Add local id z. in TEST()
837 poly1.mergeLocalVars(poly2); in TEST()
840 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
844 EXPECT_EQ(poly2.getNumLocalVars(), 3u); in TEST()
855 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
856 poly2.addLocalFloorDiv({1, 0}, 2); // y = [x / 2]. in TEST()
857 poly2.addLocalFloorDiv({1, 0, 0}, 5); // z = [x / 5]. in TEST()
858 poly2.addEquality({1, 0, -5, 0}); // x = 5z. in TEST()
860 poly1.mergeLocalVars(poly2); in TEST()
863 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
867 EXPECT_EQ(poly2.getNumLocalVars(), 2u); in TEST()
880 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
881 poly2.addLocalFloorDiv({1, 0}, 2); // y = [x / 2]. in TEST()
882 poly2.addEquality({1, -5, 0}); // x = 5y. in TEST()
883 poly2.appendVar(VarKind::Local); // Add local id z. in TEST()
885 poly1.mergeLocalVars(poly2); in TEST()
888 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
892 EXPECT_EQ(poly2.getNumLocalVars(), 3u); in TEST()
905 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
906 poly2.addLocalFloorDiv({1, 0}, 2); // y = [x / 2]. in TEST()
907 poly2.addLocalFloorDiv({1, 1, 0}, 3); // z = [x + y / 3]. in TEST()
908 poly2.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()
917 EXPECT_EQ(poly2.getNumLocalVars(), 2u); in TEST()
929 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
930 poly2.addLocalFloorDiv({1, 0}, 2); // y = [x / 2]. in TEST()
931 poly2.addLocalFloorDiv({1, 1, 0}, 3); // z = [x + y / 3]. in TEST()
932 poly2.addLocalFloorDiv({0, 0, 1, 1}, 5); // w = [z + 1 / 5]. in TEST()
933 poly2.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()
942 EXPECT_EQ(poly2.getNumLocalVars(), 3u); in TEST()
952 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
953 poly2.addLocalFloorDiv({1, 0}, 2); // y = [x / 2]. in TEST()
955 poly2.addLocalFloorDiv({3, 3, 0}, 9); // z = [3x + 3y / 9] -> [x + y / 3]. in TEST()
956 poly2.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()
965 EXPECT_EQ(poly2.getNumLocalVars(), 2u); in TEST()
978 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
979 poly2.addLocalFloorDiv({1, 1}, 2); // y = [x + 1 / 2]. in TEST()
980 poly2.addLocalFloorDiv({1, 0, 2}, 3); // z = [x + 2 / 3]. in TEST()
981 poly2.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()
990 EXPECT_EQ(poly2.getNumLocalVars(), 2u); in TEST()
1001 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
1003 poly2.addLocalFloorDiv({2, 2}, 4); // y = [2x + 2 / 4] -> [x + 1 / 2]. in TEST()
1004 poly2.addLocalFloorDiv({1, 0, 2}, 3); // z = [x + 2 / 3]. in TEST()
1005 poly2.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()
1014 EXPECT_EQ(poly2.getNumLocalVars(), 2u); in TEST()
1026 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
1027 poly2.addLocalFloorDiv({1, 1}, 3); // y = [x + 1 / 3]. in TEST()
1028 poly2.addLocalFloorDiv({1, 0, 2}, 3); // z = [x + 2 / 3]. in TEST()
1029 poly2.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()
1038 EXPECT_EQ(poly2.getNumLocalVars(), 3u); in TEST()
1050 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
1052 poly2.addLocalFloorDiv({-2, 2}, 4); // y = [-2x + 2 / 4] -> [-x + 1 / 2]. in TEST()
1053 poly2.addLocalFloorDiv({-1, 0, -2}, 3); // z = [-x - 2 / 3]. in TEST()
1054 poly2.addInequality({1, -1, -1, 0}); // y + z <= x. in TEST()
1056 poly1.mergeLocalVars(poly2); in TEST()
1447 IntegerPolyhedron poly2 = parsePoly( in TEST() local
1449 EXPECT_TRUE(poly2.containsPointNoLocal({6})); in TEST()
1450 EXPECT_FALSE(poly2.containsPointNoLocal({4})); in TEST()