149   impl_constraint_manager (region_model *model)  in impl_constraint_manager()
155 			   region_model *model)  in impl_constraint_manager()
248 region_id_set::region_id_set (const region_model *model)  in region_id_set()
348 svalue::print (const region_model &model,  in print()
372 svalue::dump_dot_to_pp (const region_model &model,  in dump_dot_to_pp()
408 		       region_model &model,  in get_child_sid()
469 region_svalue::dump_dot_to_pp (const region_model &model,  in dump_dot_to_pp()
735 				region_model &model,  in get_child_sid()
1019 region::set_value (region_model &model, region_id this_rid, svalue_id rhs_sid,  in set_value()
1060 region::become_active_view (region_model &model, region_id this_rid)  in become_active_view()
1110 region::deactivate_any_active_view (region_model &model)  in deactivate_any_active_view()
1123 region::deactivate_view (region_model &model, region_id this_view_rid)  in deactivate_view()
1156 region::get_value (region_model &model, bool non_null,  in get_value()
1195 				 region_model &model,  in get_inherited_child_sid()
1361 region::print (const region_model &model,  in print()
1377 region::dump_dot_to_pp (const region_model &model,  in dump_dot_to_pp()
1414 region::dump_to_pp (const region_model &model,  in dump_to_pp()
1480 region::dump_child_label (const region_model &model,  in dump_child_label()
1544 region::add_view (region_id view_rid, region_model *model)  in add_view()
1720 map_region::print_fields (const region_model &model,  in print_fields()
1759 map_region::dump_dot_to_pp (const region_model &model,  in dump_dot_to_pp()
1791 map_region::dump_child_label (const region_model &model,  in dump_child_label()
1819 map_region::get_or_create (region_model *model,  in get_or_create()
2262 frame_region::print_fields (const region_model &model,  in print_fields()
2349 array_region::get_element (region_model *model,  in get_element()
2403 array_region::print_fields (const region_model &model,  in print_fields()
2441 array_region::dump_dot_to_pp (const region_model &model,  in dump_dot_to_pp()
2473 array_region::dump_child_label (const region_model &model,  in dump_child_label()
2500 array_region::get_or_create (region_model *model,  in get_or_create()
2704 stack_region::print_fields (const region_model &model,  in print_fields()
2715 stack_region::dump_child_label (const region_model &model,  in dump_child_label()
2770 stack_region::pop_frame (region_model *model, region_id result_dst_rid,  in pop_frame()
3040 root_region::print_fields (const region_model &model,  in print_fields()
3088 root_region::push_frame (region_model *model, function *fun,  in push_frame()
3189 root_region::pop_frame (region_model *model, region_id result_dst_rid,  in pop_frame()
3201 root_region::ensure_stack_region (region_model *model)  in ensure_stack_region()
3224 root_region::ensure_globals_region (region_model *model)  in ensure_globals_region()
3244 root_region::ensure_code_region (region_model *model)  in ensure_code_region()
3264 root_region::ensure_heap_region (region_model *model)  in ensure_heap_region()
3452 symbolic_region::print_fields (const region_model &model,  in print_fields()
4533   reachable_regions (region_model *model)  in reachable_regions()
7311 canonicalization::canonicalization (const region_model &model)  in canonicalization()
7483 		  region_model &model,  in assert_condition()
7514 		const region_model &model,  in assert_dump_eq()
7537   region_model model;  in test_dump()  local
7620   region_model model;  in test_dump_2()  local
7658   region_model model;  in test_dump_3()  local
7720   region_model model;  in test_unique_constants()  local
7822   purge_one_svalue_id (region_model model, tree expr)  in purge_one_svalue_id()
7944   region_model model;  in test_purge_unused_svalues()  local
7990   region_model model;  in test_assignment()  local
8023   region_model model;  in test_compound_assignment()  local
8080   region_model model;  in test_stack_frames()  local
8200   region_model model;  in test_get_representative_path_var()  local
8327   region_model model;  in test_canonicalization_4()  local
8778   region_model model;  in test_malloc_constraints()  local