Lines Matching defs:WordFM
58 //--- WordFM ---//
62 /* As of r7409 (15 Feb 08), all these word-based abstractions (WordFM,
72 typedef struct _WordFM WordFM; /* opaque */
74 /* Allocate and initialise a WordFM. If kCmp is non-NULL, elements in
82 WordFM* VG_(newFM) ( void* (*alloc_nofail)( const HChar* cc, SizeT ),
89 void VG_(deleteFM) ( WordFM*, void(*kFin)(UWord), void(*vFin)(UWord) );
95 Bool VG_(addToFM) ( WordFM* fm, UWord k, UWord v );
98 Bool VG_(delFromFM) ( WordFM* fm,
102 Bool VG_(lookupFM) ( const WordFM* fm,
121 Bool VG_(findBoundsFM)( const WordFM* fm,
131 UWord VG_(sizeFM) ( const WordFM* fm );
134 void VG_(initIterFM) ( WordFM* fm );
140 void VG_(initIterAtFM) ( WordFM* fm, UWord start_at );
144 Bool VG_(nextIterFM) ( WordFM* fm,
148 void VG_(doneIterFM) ( WordFM* fm );
156 WordFM* VG_(dopyFM) ( WordFM* fm,
160 //--- end WordFM ---//