Lines Matching refs:SparseWA
39 // SparseWA: Implementation //
118 static void swa_PUSH ( SparseWA* swa, UWord partial_key, Int curr_ix,
132 static void swa_POP ( SparseWA* swa,
149 static LevelN* swa_new_LevelN ( const SparseWA* swa, Int level )
158 static Level0* swa_new_Level0 ( const SparseWA* swa )
169 void VG_(initIterSWA) ( SparseWA* swa )
176 Bool VG_(nextIterSWA)( SparseWA* swa,
234 SparseWA* VG_(newSWA) ( void*(*alloc_nofail)(const HChar* cc, SizeT),
238 SparseWA* swa;
242 swa = alloc_nofail( cc, sizeof(SparseWA) );
268 void VG_(deleteSWA) ( SparseWA* swa )
276 Bool VG_(lookupSWA) ( const SparseWA* swa,
310 Bool VG_(addToSWA) ( SparseWA* swa, UWord key, UWord val )
367 Bool VG_(delFromSWA) ( SparseWA* swa,
452 UWord VG_(sizeSWA) ( const SparseWA* swa )
