Lines Matching refs:SparseWA

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