Lines Matching refs:fm
84 /* Free up the FM. If kFin is non-NULL, it is applied to keys
85 before the FM is deleted; ditto with vFin for vals. */
88 /* Add (k,v) to fm. If a binding for k already exists, it is updated
92 Bool VG_(addToFM) ( WordFM* fm, UWord k, UWord v );
94 // Delete key from fm, returning associated key and val if found
95 Bool VG_(delFromFM) ( WordFM* fm,
98 // Look up in fm, assigning found key & val at spec'd addresses
99 Bool VG_(lookupFM) ( WordFM* fm,
105 // values are returned in *kMinP and *kMaxP. It follows that if fm is
118 Bool VG_(findBoundsFM)( WordFM* fm,
125 // How many elements are there in fm? NOTE: dangerous in the
128 UWord VG_(sizeFM) ( WordFM* fm );
130 // Is fm empty? This at least is an O(1) operation.
133 //Bool VG_(isEmptyFM)( WordFM* fm );
135 // set up FM for iteration
136 void VG_(initIterFM) ( WordFM* fm );
138 // set up FM for iteration so that the first key subsequently produced
142 void VG_(initIterAtFM) ( WordFM* fm, UWord start_at );
144 // get next key/val pair. Will assert if fm has been modified
146 Bool VG_(nextIterFM) ( WordFM* fm,
150 void VG_(doneIterFM) ( WordFM* fm );
152 // Deep copy a FM. If dopyK is NULL, keys are copied verbatim.
158 WordFM* VG_(dopyFM) ( WordFM* fm,
