40 #define USET(Str) isl::union_set(Ctx.get(), Str)  macro
619   EXPECT_EQ(SET("{ [] : 1 = 0 }"), singleton(USET("{ }"), SPACE("{ [] }")));  in TEST()
624   EXPECT_EQ(SET("{ [] }"), singleton(USET("{ [] }"), SPACE("{ [] }")));  in TEST()
630             singleton(USET("{ [i] : 0 <= i < 10 }"), SPACE("{ [i] }")));  in TEST()
637             singleton(USET("[i] -> { [i] }"), SPACE("{ [i] }")));  in TEST()
684   EXPECT_EQ(UMAP("{ [i] -> [i] }"), makeIdentityMap(USET("{ [0] }"), false));  in TEST()
685   EXPECT_EQ(UMAP("{ [0] -> [0] }"), makeIdentityMap(USET("{ [0] }"), true));  in TEST()
689             makeIdentityMap(USET("{ []; [0] }"), false));  in TEST()
691             makeIdentityMap(USET("{ []; [0] }"), true));  in TEST()
694   EXPECT_EQ(UMAP("{ }"), makeIdentityMap(USET("{ }"), false));  in TEST()
695   EXPECT_EQ(UMAP("{ }"), makeIdentityMap(USET("{ }"), true));  in TEST()
715   EXPECT_EQ(USET("{ [1] }"), shiftDim(USET("{ [0] }"), 0, 1));  in TEST()
718   EXPECT_EQ(USET("{ [0,0,1] }"), shiftDim(USET("{ [0,0,0] }"), -1, 1));  in TEST()
719   EXPECT_EQ(USET("{ [0,1,0] }"), shiftDim(USET("{ [0,0,0] }"), -2, 1));  in TEST()
720   EXPECT_EQ(USET("{ [1,0,0] }"), shiftDim(USET("{ [0,0,0] }"), -3, 1));  in TEST()
723   EXPECT_EQ(USET("[n] -> { [n+1] }"), shiftDim(USET("[n] -> { [n] }"), 0, 1));  in TEST()
968   EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{}"), false, false));  in TEST()
969   EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{}"), true, false));  in TEST()
970   EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{}"), false, true));  in TEST()
971   EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{}"), true, true));  in TEST()
974   EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{ [1] }"), false, false));  in TEST()
975   EXPECT_EQ(USET("{ [0] }"),  in TEST()
976             convertZoneToTimepoints(USET("{ [1] }"), true, false));  in TEST()
977   EXPECT_EQ(USET("{ [1] }"),  in TEST()
978             convertZoneToTimepoints(USET("{ [1] }"), false, true));  in TEST()
979   EXPECT_EQ(USET("{ [0]; [1] }"),  in TEST()
980             convertZoneToTimepoints(USET("{ [1] }"), true, true));  in TEST()
983   EXPECT_EQ(USET("{}"),  in TEST()
984             convertZoneToTimepoints(USET("{ [1]; [11] }"), false, false));  in TEST()
985   EXPECT_EQ(USET("{ [0]; [10] }"),  in TEST()
986             convertZoneToTimepoints(USET("{ [1]; [11] }"), true, false));  in TEST()
987   EXPECT_EQ(USET("{ [1]; [11] }"),  in TEST()
988             convertZoneToTimepoints(USET("{ [1]; [11] }"), false, true));  in TEST()
989   EXPECT_EQ(USET("{ [0]; [1]; [10]; [11] }"),  in TEST()
990             convertZoneToTimepoints(USET("{ [1]; [11] }"), true, true));  in TEST()
994       USET("{ [i] : 0 < i < 10 }"),  in TEST()
995       convertZoneToTimepoints(USET("{ [i] : 0 < i <= 10 }"), false, false));  in TEST()
997       USET("{ [i] : 0 <= i < 10 }"),  in TEST()
998       convertZoneToTimepoints(USET("{ [i] : 0 < i <= 10 }"), true, false));  in TEST()
1000       USET("{ [i] : 0 < i <= 10 }"),  in TEST()
1001       convertZoneToTimepoints(USET("{ [i] : 0 < i <= 10 }"), false, true));  in TEST()
1002   EXPECT_EQ(USET("{ [i] : 0 <= i <= 10 }"),  in TEST()
1003             convertZoneToTimepoints(USET("{ [i] : 0 < i <= 10 }"), true, true));  in TEST()
1006   EXPECT_EQ(USET("{}"),  in TEST()
1007             convertZoneToTimepoints(USET("{ [0,1] }"), false, false));  in TEST()
1008   EXPECT_EQ(USET("{ [0,0] }"),  in TEST()
1009             convertZoneToTimepoints(USET("{ [0,1] }"), true, false));  in TEST()
1010   EXPECT_EQ(USET("{ [0,1] }"),  in TEST()
1011             convertZoneToTimepoints(USET("{ [0,1] }"), false, true));  in TEST()
1012   EXPECT_EQ(USET("{ [0,0]; [0,1] }"),  in TEST()
1013             convertZoneToTimepoints(USET("{ [0,1] }"), true, true));  in TEST()
1069             liftDomains(UMAP("{ Domain[] -> Range[] }"), USET("{ Factor[] }")));  in TEST()
1072                         USET("{ Factor[l] }")));  in TEST()
1081                   USET("{ FactorA[]; FactorB[] }")));  in TEST()