void apply_RI(pbqp *pbqp);
void apply_RII(pbqp *pbqp);
-
-#if KAPS_STATISTIC
-void check_melting_possibility(pbqp *pbqp, pbqp_edge *edge);
-#endif
+void apply_RM(pbqp *pbqp, pbqp_node *node);
void back_propagate(pbqp *pbqp);
num determine_solution(pbqp *pbqp);