Lines Matching refs:OSetGen_Contains

90    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example1()
121       assert( VG_(OSetGen_Contains)(oset, vs[i]) );  in example1()
127    assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example1()
130       assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example1()
133    assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example1()
175       assert( ! VG_(OSetGen_Contains)(oset, vs[i]) );  in example1()
186    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example1()
380    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example2()
415       a = vs[i]->first + 0;    assert( VG_(OSetGen_Contains)(oset, &a) );  in example2()
416       a = vs[i]->first + 1;    assert( VG_(OSetGen_Contains)(oset, &a) );  in example2()
417       a = vs[i]->first + 2;    assert( VG_(OSetGen_Contains)(oset, &a) );  in example2()
423    assert( ! VG_(OSetGen_Contains)(oset, &a) );  in example2()
425       a = vs[i]->first - 1;    assert( ! VG_(OSetGen_Contains)(oset, &a) );  in example2()
426       a = vs[i]->first + 3;    assert( ! VG_(OSetGen_Contains)(oset, &a) );  in example2()
472       a = vs[i]->first + 0;    assert( ! VG_(OSetGen_Contains)(oset, &a) );  in example2()
473       a = vs[i]->first + 1;    assert( ! VG_(OSetGen_Contains)(oset, &a) );  in example2()
474       a = vs[i]->first + 2;    assert( ! VG_(OSetGen_Contains)(oset, &a) );  in example2()
484    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example2()