Lines Matching refs:WordBag
174 typedef struct _WordBag WordBag; /* opaque */ typedef
177 WordBag* VG_(newBag) ( void* (*alloc_nofail)( HChar* cc, SizeT ),
182 void VG_(deleteBag) ( WordBag* );
185 void VG_(addToBag)( WordBag*, UWord );
188 UWord VG_(elemBag) ( WordBag*, UWord );
191 Bool VG_(delFromBag)( WordBag*, UWord );
194 Bool VG_(isEmptyBag)( WordBag* );
197 Bool VG_(isSingletonTotalBag)( WordBag* );
200 UWord VG_(anyElementOfBag)( WordBag* );
203 UWord VG_(sizeUniqueBag)( WordBag* ); /* fast */
204 UWord VG_(sizeTotalBag)( WordBag* ); /* warning: slow */
207 void VG_(initIterBag)( WordBag* );
208 Bool VG_(nextIterBag)( WordBag*, /*OUT*/UWord* pVal, /*OUT*/UWord* pCount );
209 void VG_(doneIterBag)( WordBag* );