reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
553 EXPECT_EQ(MAP("{ [] -> [i] : i >= 0 }"), 554 afterScatter(MAP("{ [] -> [0] }"), false)); 555 EXPECT_EQ(MAP("{ [] -> [i] : i > 0 }"), 556 afterScatter(MAP("{ [] -> [0] }"), true)); 559 EXPECT_EQ(UMAP("{ A[] -> [i] : i >= 0; B[] -> [i] : i >= 0 }"), 560 afterScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"), false)); 561 EXPECT_EQ(UMAP("{ A[] -> [i] : i > 0; B[] -> [i] : i > 0 }"), 562 afterScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"), true)); 565 EXPECT_EQ(UMAP("{ [] -> [i, j] : i > 0; [] -> [i, j] : i = 0 and j >= 0 }"), 566 afterScatter(UMAP("{ [] -> [0, 0] }"), false)); 567 EXPECT_EQ(UMAP("{ [] -> [i, j] : i > 0; [] -> [i, j] : i = 0 and j > 0 }"), 568 afterScatter(UMAP("{ [] -> [0, 0] }"), true)); 571 EXPECT_EQ(UMAP("{ [i] -> [j] : j >= i }"), 572 afterScatter(UMAP("{ [i] -> [i] }"), false)); 573 EXPECT_EQ(UMAP("{ [i] -> [j] : j > i }"), 574 afterScatter(UMAP("{ [i] -> [i] }"), true)); 577 EXPECT_EQ(UMAP("[i] -> { [] -> [j] : j >= i }"), 578 afterScatter(UMAP("[i] -> { [] -> [i] }"), false)); 579 EXPECT_EQ(UMAP("[i] -> { [] -> [j] : j > i }"), 580 afterScatter(UMAP("[i] -> { [] -> [i] }"), true)); 583 EXPECT_EQ(UMAP("{ [] -> [i] : i >= 0 }"), 584 afterScatter(UMAP("{ [] -> [0]; [] -> [10] }"), false)); 585 EXPECT_EQ(UMAP("{ [] -> [i] : i > 0 }"), 586 afterScatter(UMAP("{ [] -> [0]; [] -> [10] }"), true)); 589 EXPECT_EQ(UMAP("{ }"), afterScatter(UMAP("{ }"), false)); 589 EXPECT_EQ(UMAP("{ }"), afterScatter(UMAP("{ }"), false)); 590 EXPECT_EQ(UMAP("{ }"), afterScatter(UMAP("{ }"), true)); 590 EXPECT_EQ(UMAP("{ }"), afterScatter(UMAP("{ }"), true));