Lines Matching refs:exploded_graph
32 impl_region_model_context (exploded_graph &eg,
96 exploded_graph *m_eg;
158 typedef exploded_graph graph_t;
161 dump_args_t (const exploded_graph &eg) : m_eg (eg) {} in dump_args_t()
168 const exploded_graph &m_eg;
241 on_stmt_flags on_stmt (exploded_graph &eg,
247 void on_stmt_pre (exploded_graph &eg,
258 bool on_edge (exploded_graph &eg,
263 void on_longjmp (exploded_graph &eg,
268 void detect_leaks (exploded_graph &eg);
726 worklist (const exploded_graph &eg, const analysis_plan &plan);
791 class exploded_graph : public digraph<eg_traits>
797 exploded_graph (const supergraph &sg, logger *logger,
802 ~exploded_graph ();
888 DISABLE_COPY_AND_ASSIGN (exploded_graph);
960 engine *eng, const exploded_graph *eg) const;