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