Lines Matching refs:exploded_graph
32 impl_region_model_context (exploded_graph &eg,
83 exploded_graph *m_eg;
144 typedef exploded_graph graph_t;
147 dump_args_t (const exploded_graph &eg) : m_eg (eg) {} in dump_args_t()
148 const exploded_graph &m_eg;
224 on_stmt_flags on_stmt (exploded_graph &eg,
229 bool on_edge (exploded_graph &eg,
234 void on_longjmp (exploded_graph &eg,
239 void detect_leaks (exploded_graph &eg) const;
660 worklist (const exploded_graph &eg, const analysis_plan &plan);
719 class exploded_graph : public digraph<eg_traits>
725 exploded_graph (const supergraph &sg, logger *logger,
730 ~exploded_graph ();
794 DISABLE_COPY_AND_ASSIGN (exploded_graph);