Searched refs:m_inner_node (Results 1 – 4 of 4) sorted by relevance
88 m_inner_node->get_dot_fillcolor ()); in dump_dot()91 pp_printf (pp, "FN: %i (EN: %i); len=%i", m_index, m_inner_node->m_index, in dump_dot()96 m_inner_node->get_point ().print (pp, f); in dump_dot()104 m_inner_node->dump_processed_stmts (pp); in dump_dot()105 m_inner_node->dump_saved_diagnostics (pp); in dump_dot()124 m_inner_node->get_dot_fillcolor ()); in dump_dot()127 pp_printf (pp, "infeasible edge to EN: %i", m_inner_node->m_index); in dump_dot()
66 const exploded_node *get_inner_node () const { return m_inner_node; } in get_inner_node()71 : m_inner_node (inner_node), m_index (index) in base_feasible_node()74 const exploded_node *m_inner_node; variable
61 : m_inner_node (inner_node) {} in trimmed_node()67 const exploded_node *m_inner_node;
74 m_inner_node->dump_dot (gv, args.m_inner_args); in dump_dot()