Lines Matching refs:S4
84 ImmutableSet<int> S4 = f.add(S2, 9); in TEST_F() local
89 EXPECT_FALSE(S4.isEmpty()); in TEST_F()
108 EXPECT_TRUE(S4.contains(9)); in TEST_F()
109 EXPECT_TRUE(S4.contains(3)); in TEST_F()
110 EXPECT_TRUE(S4.contains(4)); in TEST_F()
111 EXPECT_TRUE(S4.contains(5)); in TEST_F()
112 EXPECT_FALSE(S4.contains(20)); in TEST_F()
113 EXPECT_FALSE(S4.contains(43)); in TEST_F()
122 ImmutableSet<int> S4 = f.remove(S3, 3); in TEST_F() local
126 EXPECT_FALSE(S4.contains(3)); in TEST_F()
128 EXPECT_TRUE(S2 == S4); in TEST_F()
130 EXPECT_TRUE(S3 != S4); in TEST_F()
135 EXPECT_TRUE(S4.contains(4)); in TEST_F()
136 EXPECT_TRUE(S4.contains(5)); in TEST_F()