151     m_model (model)  in impl_constraint_manager()
157     m_model (model)  in impl_constraint_manager()
167     svalue *svalue = m_model->get_svalue (sid);  in maybe_get_constant()
174     return m_model->get_rvalue (cst, NULL);  in get_sid_for_constant()
179     return m_model->get_num_svalues ();  in get_num_svalues()
183   region_model *m_model;  member in ana::impl_constraint_manager
4534   : m_model (model), m_reachable_rids (), m_mutable_rids ()  in reachable_regions()
4559     region *reg = m_model->get_region (rid);  in add()
4561     svalue *sval = m_model->get_svalue (sid);  in add()
4576     region_id_set descendents (m_model);  in add()
4577     m_model->get_descendents (rid, &descendents, region_id::null ());  in add()
4578     for (unsigned i = 0; i < m_model->get_num_regions (); i++)  in add()
4593   region_model *m_model;  member in ana::reachable_regions
7312 : m_model (model),  in canonicalization()
7330   region *region = m_model.get_region (rid);  in walk_rid()
7349   svalue *sval = m_model.get_svalue (sid);  in walk_sid()