reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
506 EXPECT_EQ(MAP("{ [] -> [i] : i <= 0 }"), 507 beforeScatter(MAP("{ [] -> [0] }"), false)); 508 EXPECT_EQ(MAP("{ [] -> [i] : i < 0 }"), 509 beforeScatter(MAP("{ [] -> [0] }"), true)); 512 EXPECT_EQ(UMAP("{ A[] -> [i] : i <= 0; B[] -> [i] : i <= 0 }"), 513 beforeScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"), false)); 514 EXPECT_EQ(UMAP("{ A[] -> [i] : i < 0; B[] -> [i] : i < 0 }"), 515 beforeScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"), true)); 518 EXPECT_EQ(UMAP("{ [] -> [i, j] : i < 0; [] -> [i, j] : i = 0 and j <= 0 }"), 519 beforeScatter(UMAP("{ [] -> [0, 0] }"), false)); 520 EXPECT_EQ(UMAP("{ [] -> [i, j] : i < 0; [] -> [i, j] : i = 0 and j < 0 }"), 521 beforeScatter(UMAP("{ [] -> [0, 0] }"), true)); 524 EXPECT_EQ(UMAP("{ [i] -> [j] : j <= i }"), 525 beforeScatter(UMAP("{ [i] -> [i] }"), false)); 526 EXPECT_EQ(UMAP("{ [i] -> [j] : j < i }"), 527 beforeScatter(UMAP("{ [i] -> [i] }"), true)); 530 EXPECT_EQ(UMAP("[i] -> { [] -> [j] : j <= i }"), 531 beforeScatter(UMAP("[i] -> { [] -> [i] }"), false)); 532 EXPECT_EQ(UMAP("[i] -> { [] -> [j] : j < i }"), 533 beforeScatter(UMAP("[i] -> { [] -> [i] }"), true)); 536 EXPECT_EQ(UMAP("{ [] -> [i] : i <= 10 }"), 537 beforeScatter(UMAP("{ [] -> [0]; [] -> [10] }"), false)); 538 EXPECT_EQ(UMAP("{ [] -> [i] : i < 10 }"), 539 beforeScatter(UMAP("{ [] -> [0]; [] -> [10] }"), true)); 542 EXPECT_EQ(UMAP("{ [] -> [i] : 1 = 0 }"), 543 beforeScatter(UMAP("{ [] -> [i] : 1 = 0 }"), false)); 544 EXPECT_EQ(UMAP("{ [] -> [i] : 1 = 0 }"), 545 beforeScatter(UMAP("{ [] -> [i] : 1 = 0 }"), true));