Lines Matching refs:exploded_node
33 const exploded_node *enode_for_diag,
85 const exploded_node *m_enode_for_diag;
142 typedef exploded_node node_t;
158 class exploded_node : public dnode<eg_traits>
178 exploded_node (const point_and_state &ps, int index);
271 DISABLE_COPY_AND_ASSIGN (exploded_node);
309 exploded_edge (exploded_node *src, exploded_node *dest,
379 const exploded_node *get_enode_origin () const in get_enode_origin()
411 typedef exploded_node *value_type;
412 typedef exploded_node *compare_type;
469 auto_vec<exploded_node *> m_enodes;
603 void add_call_summary (exploded_node *node) in add_call_summary()
608 auto_vec<exploded_node *> m_summaries;
662 exploded_node *take_next ();
663 exploded_node *peek_next ();
664 void add_node (exploded_node *enode);
670 key_t (const worklist &w, exploded_node *enode) in key_t()
692 int get_scc_id (const exploded_node *enode) const in get_scc_id()
701 exploded_node *m_enode;
711 typedef fibonacci_heap<key_t, exploded_node> queue_t;
739 exploded_node *get_origin () const { return m_origin; } in get_origin()
741 exploded_node *add_function_entry (function *fun);
745 void process_node (exploded_node *node);
747 exploded_node *get_or_create_node (const program_point &point,
750 exploded_edge *add_edge (exploded_node *src, exploded_node *dest,
766 const exploded_node *enode,
804 typedef hash_map <const point_and_state *, exploded_node *,
815 exploded_node *m_origin;
853 exploded_node *get_final_enode () const;