Lines Matching refs:SPACE
35 #define SPACE(Str) parseSpace(Ctx.get(), Str) macro
619 EXPECT_EQ(SET("{ [] : 1 = 0 }"), singleton(USET("{ }"), SPACE("{ [] }"))); in TEST()
621 singleton(UMAP("{ }"), SPACE("{ [] -> [] }"))); in TEST()
624 EXPECT_EQ(SET("{ [] }"), singleton(USET("{ [] }"), SPACE("{ [] }"))); in TEST()
626 singleton(UMAP("{ [] -> [] }"), SPACE("{ [] -> [] }"))); in TEST()
630 singleton(USET("{ [i] : 0 <= i < 10 }"), SPACE("{ [i] }"))); in TEST()
633 singleton(UMAP("{ [i] -> [i] : 0 <= i < 10 }"), SPACE("{ [i] -> [j] }"))); in TEST()
637 singleton(USET("[i] -> { [i] }"), SPACE("{ [i] }"))); in TEST()
639 singleton(UMAP("[i] -> { [i] -> [i] }"), SPACE("{ [i] -> [j] }"))); in TEST()
664 EXPECT_EQ(SPACE("{ [] }"), getScatterSpace(UMAP("{ [] -> [] }"))); in TEST()
665 EXPECT_EQ(SPACE("{ [i] }"), getScatterSpace(UMAP("{ [] -> [i] }"))); in TEST()
666 EXPECT_EQ(SPACE("{ [i,j] }"), getScatterSpace(UMAP("{ [] -> [i,j] }"))); in TEST()
667 EXPECT_EQ(SPACE("{ [i,j,k] }"), getScatterSpace(UMAP("{ [] -> [i,j,k] }"))); in TEST()
670 EXPECT_EQ(SPACE("{ [] }"), getScatterSpace(UMAP("{ A[] -> []; [] -> [] }"))); in TEST()
671 EXPECT_EQ(SPACE("{ [i] }"), in TEST()
673 EXPECT_EQ(SPACE("{ [i,j] }"), in TEST()
675 EXPECT_EQ(SPACE("{ [i,j,k] }"), in TEST()