Lines Matching defs:S4
85 ImmutableSet<int> S4 = f.add(S2, 9);
90 EXPECT_FALSE(S4.isEmpty());
109 EXPECT_TRUE(S4.contains(9));
110 EXPECT_TRUE(S4.contains(3));
111 EXPECT_TRUE(S4.contains(4));
112 EXPECT_TRUE(S4.contains(5));
113 EXPECT_FALSE(S4.contains(20));
114 EXPECT_FALSE(S4.contains(43));
123 ImmutableSet<int> S4 = f.remove(S3, 3);
127 EXPECT_FALSE(S4.contains(3));
129 EXPECT_TRUE(S2 == S4);
131 EXPECT_TRUE(S3 != S4);
136 EXPECT_TRUE(S4.contains(4));
137 EXPECT_TRUE(S4.contains(5));
