Lines Matching refs:OSet
78 typedef struct _OSet OSet; typedef
106 extern OSet* VG_(OSetWord_Create) ( OSetAlloc_t alloc_fn, const HChar* cc,
108 extern void VG_(OSetWord_Destroy) ( OSet* os );
150 extern Word VG_(OSetWord_Size) ( const OSet* os );
151 extern void VG_(OSetWord_Insert) ( OSet* os, UWord val );
152 extern Bool VG_(OSetWord_Contains) ( const OSet* os, UWord val );
153 extern Bool VG_(OSetWord_Remove) ( OSet* os, UWord val );
154 extern void VG_(OSetWord_ResetIter) ( OSet* os );
155 extern Bool VG_(OSetWord_Next) ( OSet* os, /*OUT*/UWord* val );
206 extern OSet* VG_(OSetGen_Create) ( PtrdiffT keyOff, OSetCmp_t cmp,
211 extern OSet* VG_(OSetGen_Create_With_Pool) ( PtrdiffT keyOff, OSetCmp_t cmp,
239 extern void VG_(OSetGen_Destroy) ( OSet* os );
240 extern void* VG_(OSetGen_AllocNode) ( const OSet* os, SizeT elemSize );
241 extern void VG_(OSetGen_FreeNode) ( const OSet* os, void* elem );
243 extern OSet* VG_(OSetGen_EmptyClone) (const OSet* os);
301 extern UInt VG_(OSetGen_Size) ( const OSet* os );
302 extern void VG_(OSetGen_Insert) ( OSet* os, void* elem );
303 extern Bool VG_(OSetGen_Contains) ( const OSet* os, const void* key );
304 extern void* VG_(OSetGen_Lookup) ( const OSet* os, const void* key );
305 extern void* VG_(OSetGen_LookupWithCmp)( OSet* os,
307 extern void* VG_(OSetGen_Remove) ( OSet* os, const void* key );
308 extern void VG_(OSetGen_ResetIter) ( OSet* os );
309 extern void VG_(OSetGen_ResetIterAt) ( OSet* os, const void* key );
310 extern void* VG_(OSetGen_Next) ( OSet* os );