Home | History | Annotate | Download | only in include

Lines Matching refs:swa

59 void VG_(deleteSWA) ( SparseWA* swa );
61 // Add the binding key -> val to this swa. Any existing binding is
63 Bool VG_(addToSWA) ( SparseWA* swa, UWord key, UWord val );
65 // Delete key from swa, returning associated key and val if found.
70 Bool VG_(delFromSWA) ( SparseWA* swa,
74 // Indexes swa at 'key' (or, if you like, looks up 'key' in the
78 Bool VG_(lookupSWA) ( SparseWA* swa,
82 // Set up 'swa' for iteration.
83 void VG_(initIterSWA) ( SparseWA* swa );
86 // to segfault) if 'swa' has been modified since initIterSWA was
89 Bool VG_(nextIterSWA)( SparseWA* swa,
92 // How many elements are there in 'swa'? NOTE: dangerous in the
95 UWord VG_(sizeSWA) ( SparseWA* swa );