reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
631 EXPECT_EQ(SET("{ [] : 1 = 0 }"), singleton(USET("{ }"), SPACE("{ [] }"))); 636 EXPECT_EQ(SET("{ [] }"), singleton(USET("{ [] }"), SPACE("{ [] }"))); 642 singleton(USET("{ [i] : 0 <= i < 10 }"), SPACE("{ [i] }"))); 649 singleton(USET("[i] -> { [i] }"), SPACE("{ [i] }"))); 696 EXPECT_EQ(UMAP("{ [i] -> [i] }"), makeIdentityMap(USET("{ [0] }"), false)); 697 EXPECT_EQ(UMAP("{ [0] -> [0] }"), makeIdentityMap(USET("{ [0] }"), true)); 701 makeIdentityMap(USET("{ []; [0] }"), false)); 703 makeIdentityMap(USET("{ []; [0] }"), true)); 706 EXPECT_EQ(UMAP("{ }"), makeIdentityMap(USET("{ }"), false)); 707 EXPECT_EQ(UMAP("{ }"), makeIdentityMap(USET("{ }"), true)); 727 EXPECT_EQ(USET("{ [1] }"), shiftDim(USET("{ [0] }"), 0, 1)); 727 EXPECT_EQ(USET("{ [1] }"), shiftDim(USET("{ [0] }"), 0, 1)); 730 EXPECT_EQ(USET("{ [0,0,1] }"), shiftDim(USET("{ [0,0,0] }"), -1, 1)); 730 EXPECT_EQ(USET("{ [0,0,1] }"), shiftDim(USET("{ [0,0,0] }"), -1, 1)); 731 EXPECT_EQ(USET("{ [0,1,0] }"), shiftDim(USET("{ [0,0,0] }"), -2, 1)); 731 EXPECT_EQ(USET("{ [0,1,0] }"), shiftDim(USET("{ [0,0,0] }"), -2, 1)); 732 EXPECT_EQ(USET("{ [1,0,0] }"), shiftDim(USET("{ [0,0,0] }"), -3, 1)); 732 EXPECT_EQ(USET("{ [1,0,0] }"), shiftDim(USET("{ [0,0,0] }"), -3, 1)); 735 EXPECT_EQ(USET("[n] -> { [n+1] }"), shiftDim(USET("[n] -> { [n] }"), 0, 1)); 735 EXPECT_EQ(USET("[n] -> { [n+1] }"), shiftDim(USET("[n] -> { [n] }"), 0, 1)); 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)); 1081 liftDomains(UMAP("{ Domain[] -> Range[] }"), USET("{ Factor[] }"))); 1084 USET("{ Factor[l] }"))); 1093 USET("{ FactorA[]; FactorB[] }")));