reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
598 EXPECT_EQ(MAP("{ [] -> [i] : 0 < i < 10 }"), 599 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), false, 599 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), false, 602 MAP("{ [] -> [i] : 0 <= i < 10 }"), 603 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), true, false)); 603 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), true, false)); 605 MAP("{ [] -> [i] : 0 < i <= 10 }"), 606 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), false, true)); 606 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), false, true)); 608 MAP("{ [] -> [i] : 0 <= i <= 10 }"), 609 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), true, true)); 609 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), true, true)); 612 EXPECT_EQ(UMAP("{ A[] -> [i] : 0 < i < 10; B[] -> [i] : 0 < i < 10 }"), 613 betweenScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"), 614 UMAP("{ A[] -> [10]; B[] -> [10] }"), false, false)); 615 EXPECT_EQ(UMAP("{ A[] -> [i] : 0 <= i < 10; B[] -> [i] : 0 <= i < 10 }"), 616 betweenScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"), 617 UMAP("{ A[] -> [10]; B[] -> [10] }"), true, false)); 618 EXPECT_EQ(UMAP("{ A[] -> [i] : 0 < i <= 10; B[] -> [i] : 0 < i <= 10 }"), 619 betweenScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"), 620 UMAP("{ A[] -> [10]; B[] -> [10] }"), false, true)); 621 EXPECT_EQ(UMAP("{ A[] -> [i] : 0 <= i <= 10; B[] -> [i] : 0 <= i <= 10 }"), 622 betweenScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"), 623 UMAP("{ A[] -> [10]; B[] -> [10] }"), true, true));