if (bitmap_bit_p (delta, anything_id))
{
unsigned t = find (storedanything_id);
- if (add_graph_edge (graph, t, rhs))
- {
- if (bitmap_ior_into (get_varinfo (t)->solution, sol))
- bitmap_set_bit (changed, t);
- }
+ if (solve_add_graph_edge (graph, t, rhs))
+ bitmap_set_bit (changed, t);
return;
}
break;
t = find (v->id);
- if (add_graph_edge (graph, t, rhs)
- && bitmap_ior_into (get_varinfo (t)->solution, sol))
+
+ if (solve_add_graph_edge (graph, t, rhs))
bitmap_set_bit (changed, t);
}