reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1080 EXPECT_EQ(UMAP("{ [Factor[] -> Domain[]] -> [Factor[] -> Range[]] }"), 1081 liftDomains(UMAP("{ Domain[] -> Range[] }"), USET("{ Factor[] }"))); 1081 liftDomains(UMAP("{ Domain[] -> Range[] }"), USET("{ Factor[] }"))); 1082 EXPECT_EQ(UMAP("{ [Factor[l] -> Domain[i,k]] -> [Factor[l] -> Range[j,k]] }"), 1083 liftDomains(UMAP("{ Domain[i,k] -> Range[j,k] }"), 1084 USET("{ Factor[l] }"))); 1088 UMAP("{ [FactorA[] -> DomainA[]] -> [FactorA[] -> RangeA[]];" 1092 liftDomains(UMAP("{ DomainA[] -> RangeA[]; DomainB[] -> RangeB[] }"), 1093 USET("{ FactorA[]; FactorB[] }")));