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("{ [] }"))); 631 EXPECT_EQ(SET("{ [] : 1 = 0 }"), singleton(USET("{ }"), SPACE("{ [] }"))); 631 EXPECT_EQ(SET("{ [] : 1 = 0 }"), singleton(USET("{ }"), SPACE("{ [] }"))); 632 EXPECT_EQ(MAP("{ [] -> [] : 1 = 0 }"), 633 singleton(UMAP("{ }"), SPACE("{ [] -> [] }"))); 633 singleton(UMAP("{ }"), SPACE("{ [] -> [] }"))); 636 EXPECT_EQ(SET("{ [] }"), singleton(USET("{ [] }"), SPACE("{ [] }"))); 636 EXPECT_EQ(SET("{ [] }"), singleton(USET("{ [] }"), SPACE("{ [] }"))); 636 EXPECT_EQ(SET("{ [] }"), singleton(USET("{ [] }"), SPACE("{ [] }"))); 637 EXPECT_EQ(MAP("{ [] -> [] }"), 638 singleton(UMAP("{ [] -> [] }"), SPACE("{ [] -> [] }"))); 638 singleton(UMAP("{ [] -> [] }"), SPACE("{ [] -> [] }"))); 641 EXPECT_EQ(SET("{ [i] : 0 <= i < 10 }"), 642 singleton(USET("{ [i] : 0 <= i < 10 }"), SPACE("{ [i] }"))); 642 singleton(USET("{ [i] : 0 <= i < 10 }"), SPACE("{ [i] }"))); 644 MAP("{ [i] -> [i] : 0 <= i < 10 }"), 645 singleton(UMAP("{ [i] -> [i] : 0 <= i < 10 }"), SPACE("{ [i] -> [j] }"))); 645 singleton(UMAP("{ [i] -> [i] : 0 <= i < 10 }"), SPACE("{ [i] -> [j] }"))); 648 EXPECT_EQ(SET("[i] -> { [i] }"), 649 singleton(USET("[i] -> { [i] }"), SPACE("{ [i] }"))); 649 singleton(USET("[i] -> { [i] }"), SPACE("{ [i] }"))); 650 EXPECT_EQ(MAP("[i] -> { [i] -> [i] }"), 651 singleton(UMAP("[i] -> { [i] -> [i] }"), SPACE("{ [i] -> [j] }"))); 651 singleton(UMAP("[i] -> { [i] -> [i] }"), SPACE("{ [i] -> [j] }")));