75 impl_region_model_context (exploded_graph &eg,  in impl_region_model_context()
197   impl_sm_context (exploded_graph &eg,  in impl_sm_context()
358   leak_stmt_finder (const exploded_graph &eg, tree var)  in leak_stmt_finder()
1002 exploded_node::on_stmt (exploded_graph &eg,  in on_stmt()
1142 exploded_node::on_edge (exploded_graph &eg,  in on_edge()
1226 exploded_node::on_longjmp (exploded_graph &eg,  in on_longjmp()
1670 worklist::worklist (const exploded_graph &eg, const analysis_plan &plan)  in worklist()
3716 		const exploded_graph *eg)  in dump_callgraph()
3732 dump_callgraph (const supergraph &sg, const exploded_graph *eg)  in dump_callgraph()
3753   exploded_graph_annotator (const exploded_graph &eg)  in exploded_graph_annotator()
4022   exploded_graph eg (sg, logger, ext_state, purge_map, plan,  in impl_run_checkers()  local