Searched refs:infeasible_node (Results 1 – 3 of 3) sorted by relevance
30 class infeasible_node; variable114 class infeasible_node : public base_feasible_node117 infeasible_node (const exploded_node *inner_node, unsigned index, in infeasible_node() function123 ~infeasible_node () { delete m_rc; } in ~infeasible_node()171 infeasible_edge (feasible_node *src, infeasible_node *dest, in infeasible_edge()
117 infeasible_node::dump_dot (graphviz_out *gv, in dump_dot()189 infeasible_node *dst_fnode in add_feasibility_problem()190 = new infeasible_node (eedge->m_dest, m_nodes.length (), rc); in add_feasibility_problem()
1496 * feasible-graph.cc (infeasible_node::dump_dot): Update for1500 * feasible-graph.h (infeasible_node::infeasible_node): Pass RC by1502 (infeasible_node::~infeasible_node): New.1503 (infeasible_node::m_rc): Convert to a pointer.