reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
980 EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{}"), false, false)); 980 EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{}"), false, false)); 981 EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{}"), true, false)); 981 EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{}"), true, false)); 982 EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{}"), false, true)); 982 EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{}"), false, true)); 983 EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{}"), true, true)); 983 EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{}"), true, true)); 986 EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{ [1] }"), false, false)); 986 EXPECT_EQ(USET("{}"), convertZoneToTimepoints(USET("{ [1] }"), false, false)); 987 EXPECT_EQ(USET("{ [0] }"), 988 convertZoneToTimepoints(USET("{ [1] }"), true, false)); 989 EXPECT_EQ(USET("{ [1] }"), 990 convertZoneToTimepoints(USET("{ [1] }"), false, true)); 991 EXPECT_EQ(USET("{ [0]; [1] }"), 992 convertZoneToTimepoints(USET("{ [1] }"), true, true)); 995 EXPECT_EQ(USET("{}"), 996 convertZoneToTimepoints(USET("{ [1]; [11] }"), false, false)); 997 EXPECT_EQ(USET("{ [0]; [10] }"), 998 convertZoneToTimepoints(USET("{ [1]; [11] }"), true, false)); 999 EXPECT_EQ(USET("{ [1]; [11] }"), 1000 convertZoneToTimepoints(USET("{ [1]; [11] }"), false, true)); 1001 EXPECT_EQ(USET("{ [0]; [1]; [10]; [11] }"), 1002 convertZoneToTimepoints(USET("{ [1]; [11] }"), true, true)); 1006 USET("{ [i] : 0 < i < 10 }"), 1007 convertZoneToTimepoints(USET("{ [i] : 0 < i <= 10 }"), false, false)); 1009 USET("{ [i] : 0 <= i < 10 }"), 1010 convertZoneToTimepoints(USET("{ [i] : 0 < i <= 10 }"), true, false)); 1012 USET("{ [i] : 0 < i <= 10 }"), 1013 convertZoneToTimepoints(USET("{ [i] : 0 < i <= 10 }"), false, true)); 1014 EXPECT_EQ(USET("{ [i] : 0 <= i <= 10 }"), 1015 convertZoneToTimepoints(USET("{ [i] : 0 < i <= 10 }"), true, true)); 1018 EXPECT_EQ(USET("{}"), 1019 convertZoneToTimepoints(USET("{ [0,1] }"), false, false)); 1020 EXPECT_EQ(USET("{ [0,0] }"), 1021 convertZoneToTimepoints(USET("{ [0,1] }"), true, false)); 1022 EXPECT_EQ(USET("{ [0,1] }"), 1023 convertZoneToTimepoints(USET("{ [0,1] }"), false, true)); 1024 EXPECT_EQ(USET("{ [0,0]; [0,1] }"), 1025 convertZoneToTimepoints(USET("{ [0,1] }"), true, true)); 1028 EXPECT_EQ(UMAP("{}"), convertZoneToTimepoints(UMAP("{ [1] -> [] }"), 1028 EXPECT_EQ(UMAP("{}"), convertZoneToTimepoints(UMAP("{ [1] -> [] }"), 1030 EXPECT_EQ(UMAP("{ [0] -> [] }"), 1031 convertZoneToTimepoints(UMAP("{ [1] -> [] }"), isl::dim::in, true, 1033 EXPECT_EQ(UMAP("{ [1] -> [] }"), 1034 convertZoneToTimepoints(UMAP("{ [1] -> [] }"), isl::dim::in, false, 1037 UMAP("{ [0] -> []; [1] -> [] }"), 1038 convertZoneToTimepoints(UMAP("{ [1] -> [] }"), isl::dim::in, true, true)); 1041 EXPECT_EQ(UMAP("{}"), convertZoneToTimepoints(UMAP("{ [] -> [1] }"), 1041 EXPECT_EQ(UMAP("{}"), convertZoneToTimepoints(UMAP("{ [] -> [1] }"), 1043 EXPECT_EQ(UMAP("{ [] -> [0] }"), 1044 convertZoneToTimepoints(UMAP("{ [] -> [1] }"), isl::dim::out, true, 1046 EXPECT_EQ(UMAP("{ [] -> [1] }"), 1047 convertZoneToTimepoints(UMAP("{ [] -> [1] }"), isl::dim::out, false, 1049 EXPECT_EQ(UMAP("{ [] -> [0]; [] -> [1] }"), 1050 convertZoneToTimepoints(UMAP("{ [] -> [1] }"), isl::dim::out, true,