Lines Matching defs:t_bv
83 BV bv, bv1, t_bv;
146 t_bv.copyFrom(bv);
148 EXPECT_EQ(t_bv.setUnion(bv1), s.size() != t_s.size());
149 CheckBV(t_bv, t_s);
153 t_bv.copyFrom(bv);
154 EXPECT_EQ(t_bv.setIntersection(bv1), s.size() != t_s.size());
155 CheckBV(t_bv, t_s);
162 t_bv.copyFrom(bv);
163 EXPECT_EQ(t_bv.setDifference(bv1), s.size() != t_s.size());
164 CheckBV(t_bv, t_s);