Home | History | Annotate | Download | only in Support

Lines Matching refs:isEmptySet

35   EXPECT_FALSE(Full.isEmptySet());
36   EXPECT_TRUE(Full.inverse().isEmptySet());
45   EXPECT_TRUE(Empty.isEmptySet());
55   EXPECT_FALSE(One.isEmptySet());
65   EXPECT_FALSE(Some.isEmptySet());
74   EXPECT_FALSE(Wrap.isEmptySet());
176   EXPECT_TRUE(TEmpty.isEmptySet());
189   EXPECT_TRUE(ZEmpty.isEmptySet());
209   EXPECT_TRUE(SEmpty.isEmptySet());
506                                             SMax).isEmptySet());