Searched defs:model_merger (Results 1 – 2 of 2) sorted by relevance
1180 struct model_merger struct1182 model_merger (const region_model *model_a, in model_merger() function1201 region_model_manager *get_manager () const in get_manager()1208 const region_model *m_model_a;1209 const region_model *m_model_b;1210 const program_point &m_point;1211 region_model *m_merged_model;1213 const extrinsic_state *m_ext_state;1214 const program_state *m_state_a;1215 const program_state *m_state_b;
2074 struct model_merger struct2076 model_merger (const region_model *model_a, in model_merger() argument2094 Subclass *get_region_a (region_id rid_a) const in get_region_a()2100 Subclass *get_region_b (region_id rid_b) const in get_region_b()2117 const region_model *m_model_a;2118 const region_model *m_model_b;2119 region_model *m_merged_model;2121 one_way_region_id_map m_map_regions_from_a_to_m;2122 one_way_region_id_map m_map_regions_from_b_to_m;2123 svalue_id_merger_mapping *m_sid_mapping;