void solve_pbqp_heuristical(pbqp *pbqp);
-void applyRI(pbqp *pbqp);
-void applyRII(pbqp *pbqp);
+void apply_edge(pbqp *pbqp);
+
+void apply_RI(pbqp *pbqp);
+void apply_RII(pbqp *pbqp);
+void apply_RN(pbqp *pbqp);
void back_propagate_RI(pbqp *pbqp, pbqp_node *node);
void back_propagate_RII(pbqp *pbqp, pbqp_node *node);