void apply_RI(pbqp *pbqp);
void apply_RII(pbqp *pbqp);
-void back_propagate(pbqp *pbqp);
-
void back_propagate(pbqp *pbqp);
num determine_solution(pbqp *pbqp);
void fill_node_buckets(pbqp *pbqp);
void initial_simplify_edges(pbqp *pbqp);
void select_alternative(pbqp_node *node, unsigned selected_index);
void simplify_edge(pbqp *pbqp, pbqp_edge *edge);
+void reorder_node(pbqp_node *node);
int node_is_reduced(pbqp_node *node);