Lines Matching refs:os
104 extern void VG_(OSetWord_Destroy) ( OSet* os );
146 extern Word VG_(OSetWord_Size) ( OSet* os );
147 extern void VG_(OSetWord_Insert) ( OSet* os, UWord val );
148 extern Bool VG_(OSetWord_Contains) ( OSet* os, UWord val );
149 extern Bool VG_(OSetWord_Remove) ( OSet* os, UWord val );
150 extern void VG_(OSetWord_ResetIter) ( OSet* os );
151 extern Bool VG_(OSetWord_Next) ( OSet* os, /*OUT*/UWord* val );
191 extern void VG_(OSetGen_Destroy) ( OSet* os );
192 extern void* VG_(OSetGen_AllocNode) ( OSet* os, SizeT elemSize );
193 extern void VG_(OSetGen_FreeNode) ( OSet* os, void* elem );
246 extern Word VG_(OSetGen_Size) ( const OSet* os );
247 extern void VG_(OSetGen_Insert) ( OSet* os, void* elem );
248 extern Bool VG_(OSetGen_Contains) ( const OSet* os, const void* key );
249 extern void* VG_(OSetGen_Lookup) ( const OSet* os, const void* key );
250 extern void* VG_(OSetGen_LookupWithCmp)( OSet* os,
252 extern void* VG_(OSetGen_Remove) ( OSet* os, const void* key );
253 extern void VG_(OSetGen_ResetIter) ( OSet* os );
254 extern void VG_(OSetGen_ResetIterAt) ( OSet* os, const void* key );
255 extern void* VG_(OSetGen_Next) ( OSet* os );
