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("{ [] }"))); 633 singleton(UMAP("{ }"), SPACE("{ [] -> [] }"))); 636 EXPECT_EQ(SET("{ [] }"), singleton(USET("{ [] }"), SPACE("{ [] }"))); 638 singleton(UMAP("{ [] -> [] }"), SPACE("{ [] -> [] }"))); 642 singleton(USET("{ [i] : 0 <= i < 10 }"), SPACE("{ [i] }"))); 645 singleton(UMAP("{ [i] -> [i] : 0 <= i < 10 }"), SPACE("{ [i] -> [j] }"))); 649 singleton(USET("[i] -> { [i] }"), SPACE("{ [i] }"))); 651 singleton(UMAP("[i] -> { [i] -> [i] }"), SPACE("{ [i] -> [j] }"))); 676 EXPECT_EQ(SPACE("{ [] }"), getScatterSpace(UMAP("{ [] -> [] }"))); 677 EXPECT_EQ(SPACE("{ [i] }"), getScatterSpace(UMAP("{ [] -> [i] }"))); 678 EXPECT_EQ(SPACE("{ [i,j] }"), getScatterSpace(UMAP("{ [] -> [i,j] }"))); 679 EXPECT_EQ(SPACE("{ [i,j,k] }"), getScatterSpace(UMAP("{ [] -> [i,j,k] }"))); 682 EXPECT_EQ(SPACE("{ [] }"), getScatterSpace(UMAP("{ A[] -> []; [] -> [] }"))); 683 EXPECT_EQ(SPACE("{ [i] }"), 685 EXPECT_EQ(SPACE("{ [i,j] }"), 687 EXPECT_EQ(SPACE("{ [i,j,k] }"),