107 : m_map (), m_global_state (0)  in sm_state_map()
130   for (map_t::iterator iter = m_map.begin ();  in clone_with_remapping()
131        iter != m_map.end ();  in clone_with_remapping()
147       result->m_map.put (new_sid, e);  in clone_with_remapping()
167   for (map_t::iterator iter = m_map.begin ();  in print()
168        iter != m_map.end ();  in print()
222   return m_map.elements () == 0 && m_global_state == 0;  in is_empty_p()
235   for (map_t::iterator iter = m_map.begin ();  in hash()
236        iter != m_map.end ();  in hash()
259   if (m_map.elements () != other.m_map.elements ())  in operator ==()
262   for (map_t::iterator iter = m_map.begin ();  in operator ==()
263        iter != m_map.end ();  in operator ==()
268       entry_t *other_slot = const_cast <map_t &> (other.m_map).get (sid);  in operator ==()
289       = const_cast <map_t &> (m_map).get (sid))  in get_state()
303     = const_cast <map_t &> (m_map).get (sid);  in get_origin()
369       if (m_map.get (sid))  in impl_set_state()
370 	m_map.remove (sid);  in impl_set_state()
374   m_map.put (sid, entry_t (state, origin));  in impl_set_state()
468   for (map_t::iterator iter = m_map.begin ();  in remap_svalue_ids()
469        iter != m_map.end ();  in remap_svalue_ids()
481   m_map.empty ();  in remap_svalue_ids()
510   for (map_t::iterator iter = m_map.begin ();  in on_svalue_purge()
511        iter != m_map.end ();  in on_svalue_purge()
536     m_map.remove (*dst_sid);  in on_svalue_purge()
580   for (map_t::iterator iter = m_map.begin ();  in validate()
581        iter != m_map.end ();  in validate()