Searched refs:OSetWord_ResetIter (Results 1 – 4 of 4) sorted by relevance
154 extern void VG_(OSetWord_ResetIter) ( OSet* os );
365 VG_(OSetWord_ResetIter)(oset); in example1b() local
811 void VG_(OSetWord_ResetIter)(AvlTree* t) in VG_() argument
1085 VG_(OSetWord_ResetIter)( tmpSet ); in VG_() local